I = onedimToricIrrationalPoincare ()
This returns the example from Fr\:oberg and Roos' "An affine monomial curve with irrational with irrational Poincar\'e-Betti series" of a toric ideal whose quotient ring has an irrational Poincar\'e series. It is the toric ideal of the numerical subsemigroup of $\mathbb{N}$ generated by $\{18, 24, 25, 26, 28, 30, 33\}.$
|
The object onedimToricIrrationalPoincare is an ideal.