GroebnerFanIdeals |
Syntax |
GroebnerFanIdeals(I: IDEAL): LIST of IDEAL |
Description |
Example |
/**/ Use R ::= QQ[a,b,c]; /**/ I := ideal(b^3+c^2-1, b^2+a^2+c-1, a^2+b^3-1); /**/ l := GroebnerFanIdeals(I); /**/ [ len(GBasis(I)) | I in l]; [4, 4, 6, 6, 5, 6, 4, 4, 4, 3, 4, 3, 3, 3, 4, 3, 3] -- 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 := GroebnerFanIdeals(I); /**/ len(l); 360 |
See Also |