GROEBNER _ _ _ _ _ _ _ _ _ _ _ _ operator

syntax:

where {exp, ... } is a list of expressions or equations.

The operator groebner implements the Buchberger algorithm for computing Groebner bases for a given set of expressions with respect to the given set of variables in the order given. As a side effect, the sequence of variables is stored as a REDUCE list in the shared variable gvarslast - this is important in cases where the algorithm rearranges the variable sequence because groebopt is on.

examples:

   groebner({x**2+y**2-1,x-y}) 

  {X - Y,2*Y**2 -1}

related:

_ _ _ groebnerfoperator

_ _ _ gvarslast variable

_ _ _ groebopt switch

_ _ _ groebprereduce switch

_ _ _ groebfullreduction switch

_ _ _ gltbasis switch

_ _ _ gltb variable

_ _ _ glterms variable

_ _ _ groebstat switch

_ _ _ trgroeb switch

_ _ _ trgroebs switch

_ _ _ groebprot switch

_ _ _ groebprotfile variable

_ _ _ groebnert operator