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); /**/ GF := GroebnerFanIdeals(I); /**/ [ len(GBasis(I)) | I in GF]; [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); /**/ GF := GroebnerFanIdeals(I); /**/ len(GF); 360 |
See Also |