Revision b2cd05142aa29a4b6a5b26cca08f5791ef9ed6bb authored by Sebastian Gutsche on 18 June 2015, 09:07:29 UTC, committed by Sebastian Gutsche on 18 June 2015, 09:10:31 UTC
1 parent 9cdf527
Raw File
BC.g
LoadPackage( "Modules" );

ZZ := HomalgRingOfIntegers( );

C0 := HomalgComplex( 3 * ZZ );

Add( C0, HomalgMatrix( "[ 0, 1, 0,   0, 0, 1,   0, 0, 0,   0, 0, 0 ]", 4, 3, ZZ ) );

C1 := HomalgComplex( 0 * ZZ );

Add( C1, 2 * ZZ );

cm := HomalgChainMorphism( HomalgZeroMatrix( 3, 0, ZZ ), C0, C1 );

Add( cm, HomalgMatrix( "[ -1, 0,   0, -1,   2, 0,   0, 12 ]", 4, 2, ZZ ) );

C := HomalgCocomplex( cm );

Assert( 0, IsComplex( C ) );

BC := HomalgBicomplex( C );

tBC := TransposedBicomplex( BC );
back to top