a list, the list of vertices of the state polytope
Description
See Sturmfels's book Groebner bases and convex polytopes, page 14 for the definition of State(I). (The difference between this and State_{m}(I) is that for all sufficiently large m, State_{m}(I) does not distinguish between initial ideals which have the same saturation with regard to the irrelevant ideal, whereas in State(I), these are separated.)
i1 : R = QQ[a..d];
i2 : I = ideal(a*c-b^2,a*d-b*c,b*d-c^2);
o2 : Ideal of R