-- -*- M2-comint -*- {* hash: -487488753 *} i1 : R = ZZ[x..z] o1 = R o1 : PolynomialRing i2 : C = chainComplex R o2 = 0 o2 : ChainComplex i3 : C_2 = R^11 11 o3 = R o3 : R-module, free i4 : C_4 = R^13 13 o4 = R o4 : R-module, free i5 : C 11 13 o5 = R <-- 0 <-- R 2 3 4 o5 : ChainComplex i6 :