# homalg, single 11
#
# DO NOT EDIT THIS FILE - EDIT EXAMPLES IN THE SOURCE INSTEAD!
#
# This file has been generated by AutoDoc. It contains examples extracted from
# the package documentation. Each example is preceded by a comment which gives
# the name of a GAPDoc XML file and a line range from which the example were
# taken. Note that the XML file in turn may have been generated by AutoDoc
# from some other input.
#
gap> START_TEST("homalg11.tst");
# doc/../gap/HomalgComplex.gi:1424-1478
gap> zz := HomalgRingOfIntegers( );
Z
gap> M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz );
<A 2 x 3 matrix over an internal ring>
gap> M := LeftPresentation( M );
<A non-torsion left module presented by 2 relations for 3 generators>
gap> N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz );
<A 2 x 4 matrix over an internal ring>
gap> N := LeftPresentation( N );
<A non-torsion left module presented by 2 relations for 4 generators>
gap> mat := HomalgMatrix( "[ \
> 0, 3, 6, 9, \
> 0, 2, 4, 6, \
> 0, 3, 6, 9 \
> ]", 3, 4, zz );
<A 3 x 4 matrix over an internal ring>
gap> phi := HomalgMap( mat, M, N );
<A "homomorphism" of left modules>
gap> IsMorphism( phi );
true
gap> phi;
<A homomorphism of left modules>
gap> C := HomalgComplex( phi );
<A non-zero acyclic complex containing a single morphism of left modules at de\
grees [ 0 .. 1 ]>
gap> Display( C );
-------------------------
at homology degree: 1
[ [ 2, 3, 4 ],
[ 5, 6, 7 ] ]
Cokernel of the map
Z^(1x2) --> Z^(1x3),
currently represented by the above matrix
-------------------------
[ [ 0, 3, 6, 9 ],
[ 0, 2, 4, 6 ],
[ 0, 3, 6, 9 ] ]
the map is currently represented by the above 3 x 4 matrix
------------v------------
at homology degree: 0
[ [ 2, 3, 4, 5 ],
[ 6, 7, 8, 9 ] ]
Cokernel of the map
Z^(1x2) --> Z^(1x4),
currently represented by the above matrix
-------------------------
#
gap> STOP_TEST("homalg11.tst", 1);
