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 |