i1 : R = ZZ/101[x,y]
o1 = R
o1 : PolynomialRing
|
i2 : C = chainComplex(matrix{{x,y}},matrix{{x*y},{-x^2}})
1 2 1
o2 = R <-- R <-- R
0 1 2
o2 : ChainComplex
|
i3 : M = HH_1 C
o3 = subquotient ({1} | -y |, {1} | xy |)
{1} | x | {1} | -x2 |
2
o3 : R-module, subquotient of R
|
i4 : prune M
o4 = cokernel {2} | x |
1
o4 : R-module, quotient of R
|