specializeACMBetti -- lists all 1-specialization of a Betti table of an ACM curve

Synopsis

• Usage:

  L = specializeACM B

• Inputs:
  • B, a Betti tally
• Outputs:
  • L, a list, of BettiTally

Description

i1 : B = generalACMBetti {-1,-1,-1,2,1}

            0 1 2
o1 = total: 1 3 2
         0: 1 . .
         1: . . .
         2: . 3 1
         3: . . 1

o1 : BettiTally

i2 : specializeACMBetti B

             0 1 2
o2 = {total: 1 4 3}
          0: 1 . .
          1: . . .
          2: . 3 2
          3: . 1 1

o2 : List