TableEntries => ..., default value LeastIntegerEntries
Outputs:
an expression, a positive combination of pure integral Betti diagrams
Description
This applies the algorithm implied by the Boij-Soederberg conjecture, and also works even if the diagram does not corresponds to a Cohen-Macaulay module.
i1 : R = ZZ/103[a,b,c]
o1 = R
o1 : PolynomialRing
i2 : I = ideal"a3,abc,b4,c4,b2c2"
3 4 4 2 2
o2 = ideal (a , a*b*c, b , c , b c )
o2 : Ideal of R