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(| -y |,| xy |)
| x | | -x2 |
2
R - module, subquotient of R
i4 = prune M
o4 = cokernel | x |
1
R - module, quotient of R
See also HH, ChainComplex, and ScriptedFunctor.
Go to main index.
Go to concepts index.