up previous next
AllReducedGroebnerBases

all reduced Groebner bases of an ideal

Syntax
AllReducedGroebnerBases(I: IDEAL): LIST of IDEAL

Description
Returns all reduced Groebner bases of the IDEAL I as a LIST of ideals.

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