1LoadPackage( "Modules" ); 2 3ZZ := HomalgRingOfIntegers( ); 4 5F := 1 * ZZ; 6T := 0 * ZZ; 7 8lambda := HomalgMatrix( "[ 2 ]", 1, 1, ZZ ); 9lambda := HomalgMap( lambda, F, F ); 10id := HomalgIdentityMap( F, F ); 11zz := HomalgZeroMap( T, T ); 12zf := HomalgZeroMap( T, F ); 13fz := HomalgZeroMap( F, T ); 14 15C_2 := HomalgComplex( zz, 1 ); 16Add( C_2, fz ); 17Add( C_2, lambda ); 18 19C_1 := HomalgComplex( fz, 1 ); 20 21Add( C_1, -lambda ); 22Add( C_1, zf ); 23 24C_0 := HomalgComplex( lambda, 1 ); 25 26Add( C_0, zf ); 27Add( C_0, zz ); 28 29c_1 := HomalgChainMorphism( zz, C_1, C_2 ); 30 31Add( c_1, fz ); 32Add( c_1, id ); 33Add( c_1, zf ); 34 35c_0 := HomalgChainMorphism( fz, C_0, C_1 ); 36 37Add( c_0, id ); 38Add( c_0, zf ); 39Add( c_0, zz ); 40 41C := HomalgComplex( c_1, -1 ); 42 43Add( C, c_0 ); 44 45Assert( 0, IsComplex( C ) ); 46 47BC := HomalgBicomplex( C ); 48 49tBC := TransposedBicomplex( BC ); 50 51Tot := TotalComplex( BC ); 52 53## converges after 1 step 54I_E := SpectralSequenceWithFiltrationOfCollapsedToZeroTransposedSpectralSequence( BC ); 55 56filt := FiltrationBySpectralSequence( I_E, 0 ); 57 58ByASmallerPresentation( filt ); 59 60m := IsomorphismOfFiltration( filt ); 61