Description
Given a BettiTally, returns true or false depending on whether there exists a smooth ACM curve in P3 having that Betti table.
i1 : B = generalACMBetti {-1,-1,2}
0 1 2
o1 = total: 1 3 2
0: 1 . .
1: . 3 2
o1 : BettiTally
|
i2 : isSmoothACMBetti B
o2 = true
|