up previous next
GroebnerFanReducedGBases

Groebner fan reduced GBases

Syntax
GroebnerFanReducedGBases(I: IDEAL): LIST of IDEAL

Description
This function returns all reduced GBases. Good only for visualizing very small examples. For further computations use GroebnerFanIdeals or, even better, CallOnGroebnerFanIdeals .

Example
/**/ use R ::= QQ[a,b,c];
/**/ I := ideal(b^2-1, a^2+c-1, c^2-b);
/**/ indent(GroebnerFanReducedGBases(I));
[
  [c^2 -b, b^2 -1, a^2 +c -1],
  [b -c^2, a^2 +c -1, c^4 -1],
  [c +a^2 -1, b -a^4 +2*a^2 -1, a^8 -4*a^6 +6*a^4 -4*a^2],
  [c +a^2 -1, b^2 -1, a^4 -b -2*a^2 +1]
]

See Also