-- -*- M2-comint -*- {* hash: 459305651 *}

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

i4 :