-- -*- M2-comint -*- {* hash: -569700862 *} i1 : R = QQ[x,y,z]; i2 : C = res coker vars R 1 3 3 1 o2 = R <-- R <-- R <-- R <-- 0 0 1 2 3 4 o2 : ChainComplex i3 : C.dd^2 == 0 o3 = true i4 :
-- -*- M2-comint -*- {* hash: -569700862 *} i1 : R = QQ[x,y,z]; i2 : C = res coker vars R 1 3 3 1 o2 = R <-- R <-- R <-- R <-- 0 0 1 2 3 4 o2 : ChainComplex i3 : C.dd^2 == 0 o3 = true i4 :