resCurveOnScroll -- Computes the relative canonical resolution

• Usage:

  resX=resCurveOnScroll(Jcan,g,l)

  resX=resCurveOnScroll(Jcan,g)

• Inputs:
  • Jcan, an ideal, the 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
• Outputs:
  • resX, a chain complex, the relative canonical resolution

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

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

               ZZ
o2 : Ideal of ----[t ..t ]
              1009  0   7

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

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

i4 : resX = resCurveOnScroll(Jcan,g,2);

i5 : betti resX

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

o5 : BettiTally