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