The output is the smallest conceivable betti table for a set of r points in P^n, which is predicted (incorrectly) by the minimal resolution conjecture.
i1 : expectedBetti(11,5)
0 1 2 3 4 5 6 7 8 9 10 11
o1 = total: 1 7 66 330 858 1386 1518 1155 605 209 43 4
0: 1 7 11 . . . . . . . . .
1: . . 55 330 858 1386 1518 1155 605 209 43 4
o1 : BettiTally
|
The MRC is false, so these are sometimes not the actual betti numbers.
The object expectedBetti is a function closure.