i1 : R = ZZ/101[a,b,c]
o1 = R
o1 : PolynomialRing
|
i2 : S = R/ideal{a^2,b^2,c^2}
o2 = S
o2 : QuotientRing
|
i3 : kRes = res coker vars R
1 3 3 1
o3 = R <-- R <-- R <-- R <-- 0
0 1 2 3 4
o3 : ChainComplex
|
i4 : kResS = substitute(kRes, S)
1 3 3 1
o4 = S <-- S <-- S <-- S <-- 0
0 1 2 3 4
o4 : ChainComplex
|