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

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 : CResMap = res C;

i5 : CRes = source CResMap

      1      16      45      59      41      14      2
o5 = R  <-- R   <-- R   <-- R   <-- R   <-- R   <-- R  <-- 0
                                                            
     0      1       2       3       4       5       6      7

o5 : ChainComplex

i6 : isQuism CResMap

o6 = true

i7 :