-- -*- M2-comint -*- {* hash: 1716387436 *} 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 i5 :