Add a zero map after the last differential in a chain complex.
i1 : S=ZZ/101[x,y]/ideal(x*y) o1 = S o1 : QuotientRing |
i2 : C=chainComplex(matrix{{x}},matrix{{y}}**S^{ -1},matrix{{x}}**S^{ -2})[1]
1 1 1 1
o2 = S <-- S <-- S <-- S
-1 0 1 2
o2 : ChainComplex
|
i3 : appendZeroMap C
1 1 1 1
o3 = S <-- S <-- S <-- S <-- 0
-1 0 1 2 3
o3 : ChainComplex
|
i4 : prependZeroMap C
1 1 1 1
o4 = 0 <-- S <-- S <-- S <-- S
-2 -1 0 1 2
o4 : ChainComplex
|
The object appendZeroMap is a method function.