i1 : R = ZZ/101[a,b,c] o1 = R o1 : PolynomialRing |
i2 : k = coker vars R o2 = cokernel | a b c | 1 o2 : R-module, quotient of R |
i3 : kRes = res k 1 3 3 1 o3 = R <-- R <-- R <-- R <-- 0 0 1 2 3 4 o3 : ChainComplex |
i4 : isExact kRes o4 = false |
i5 : trivialCx = chainComplex matrix {{1_R}} 1 1 o5 = R <-- R 0 1 o5 : ChainComplex |
i6 : isExact trivialCx o6 = true |