next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

resolution(ChainComplex) -- Resolves a ChainComplex.

Synopsis

Description

Returns a surjective ChainComplexMap whose source consistsof free R-modules, where R = C.ring.
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