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

RelativeCanonicalResolution :: resCurveOnScroll

resCurveOnScroll -- Computes the relative canonical resolution

Synopsis

Usage:
resX=resCurveOnScroll(Jcan,g,l)
resX=resCurveOnScroll(Jcan,g)
Inputs:
- Jcan, an ideal, ideal of a genus g curve with a degree k line bundle in terms of generators on the scroll
- g, an integer, the genus of C
- l, an integer, the length limit of the resolution
- d, an integer, defining a degree limit
Outputs:
- resX, a chain complex, the relative canonical resolution

Description

Computes the relative canonical resolution by picking syzygies of correct degree in each step until the length limit is reached.

i1 : (g,k,n) = (8,5,1000);

i2 : Ican = canCurveWithFixedScroll(g,k,n);

               ZZ
o2 : Ideal of ----[t , t , t , t , t , t , t , t ]
              1009  0   1   2   3   4   5   6   7

i3 : Jcan = curveOnScroll(Ican,g,k);

               ZZ
o3 : Ideal of ----[pp , pp , pp , pp , v, w]
              1009   0    1    2    3

i4 : resX = resCurveOnScroll(Jcan,g);

i5 : betti resX

            0 1
o5 = total: 1 5
         0: 1 .
         1: . .
         2: . 4
         3: . 1

o5 : BettiTally

See also

curveOnScroll -- Computes the ideal of a canonical curve on a normalized scroll in terms of generators of the scroll

Ways to use `resCurveOnScroll` :

resCurveOnScroll(Ideal,ZZ)
resCurveOnScroll(Ideal,ZZ,ZZ)