-- -*- M2-comint -*- hash: 11523420026356298192

i1 : R = ZZ/32003[a..d]

o1 = R

o1 : PolynomialRing

i2 : I = monomialCurveIdeal(R,{1,2,3})

             2                    2
o2 = ideal (c  - b*d, b*c - a*d, b  - a*c)

o2 : Ideal of R

i3 : C = koszulComplex(ideal vars R) ** (R^1/I);

i4 : m = res C;

i5 : isQuasiIsomorphism m

o5 = true

i6 : betti source m

            0 1  2  3  4  5 6
o6 = total: 1 7 20 30 25 11 2
         0: 1 4  6  4  1  . .
         1: . 3 14 26 24 11 2

o6 : BettiTally

i7 : C == target m

o7 = true

i8 : 
