AllReducedGroebnerBases |
Syntax |
AllReducedGroebnerBases(I: IDEAL): LIST of IDEAL |
Description |
Example |
-- The ideal in [Sturmfels, Example 3.9] has 360 marked reduced Groebner bases /**/ Use R ::= QQ[a,b,c]; /**/ I := ideal(a^5+b^3+c^2-1, b^2+a^2+c-1, c^3+a^6+b^5-1); /**/ l:=AllReducedGroebnerBases(I); /**/ len(l); 360 |
See Also |