isACMBetti -- checks whether a Betti table is that of an ACM curve

Synopsis

• Usage:

  b = isACMBetti B

• Inputs:
  • B, a Betti tally
• Outputs:
  • b, a Boolean value

Description

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

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

o1 : BettiTally

i2 : isACMBetti B

o2 = true