1LoadPackage( "Modules" );
2
3ZZ := HomalgRingOfIntegers( );
4
5## the line
6deltaL := HomalgMap( [[1,-1]], ZZ );
7## the 1-sphere
8deltaS := HomalgMap( [[0,-1,1],[1,0,-1],[-1,1,0]], ZZ );
9
10## the 0-th homology of L:
11H0_L := Cokernel( deltaL );
12## the 1-st homology of L:
13H1_L := Kernel( deltaL );
14
15ByASmallerPresentation(H0_L);
16
17#Display( H0_L );
18#Display( H1_L );
19
20## the 0-th homology of S:
21H0_S := Cokernel( deltaS );
22## the 1-st homology of S:
23H1_S := Kernel( deltaS );
24
25ByASmallerPresentation(H0_S);
26ByASmallerPresentation(H1_S);
27
28#Display( H0_S );
29#Display( H1_S );
30
31L := HomalgComplex( deltaL );
32S := HomalgComplex( deltaS );
33
34HL := Homology( L );
35HS := Homology( S );
36