I = twodimToricIrrationalPoincare ()
Returns the example from Roos and Sturmfels' "A toric ring with irrational Poincar\'e-Betti series" (1998) 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}^2$ generated by ${(36,0), (33,3), (30,6), (28,8), (26,10), (25,11), (24,12), (18,18), (0,36)}.$
|
The object twodimToricIrrationalPoincare is an ideal.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/QuadraticIdealExamplesByRoos.m2:382:0.