Revision 13193f82c5a869c9747b4aed54954a841443afce authored by Sebastian Gutsche on 17 August 2015, 12:17:47 UTC, committed by Sebastian Gutsche on 17 August 2015, 12:17:47 UTC
This reverts commit 1d81d423afc93f5dcad6e2b3ea3d8f9d3af10234.
1 parent b92dac2
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