i1 : R = ZZ/101[a,b,c] o1 = R o1 : PolynomialRing
i2 : kRes = res coker vars R 1 3 3 1 o2 = R <-- R <-- R <-- R <-- 0 0 1 2 3 4 o2 : ChainComplex
i3 : isChainComplex(kRes) o3 = true