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