groebner package

The functions of the groebner package are used to calculate Groebner bases. The
available functions can be queried with info(groebner). These are

gbasis - calculation of a reduced Groebner basis
gbasis(plist <,order> <,Reorder>)
gbasis(elist <,order>)
Parameters:
   plist - list of polynomials of identical type
   elist - list of expressions representing rational polynomials
   order - one of the options LexOrder, DegreeOrder or DegInvLexOrder
   Reorder - option Reorder


normalf - complete reduction modulo an ideal
normalf(poly, plist <,order>)
normalf(expr, elist <,order>)
Parameters:
   poly - polynomial
   plist - list of polynomials with the same type
   expr - expression representing rational polynomial
   elist - list of expressions representing rational polynomials
   order - one of the options LexOrder, DegreeOrder or DegInvLexOrder

spoly - the S-polynomial of two polynomials
spoly(poly1, poly2 <,order>)
spoly(expr1, expr2 <,order>)
Parameters:
   poly1 - polynomial
   poly2 - polynomial of the same type
   expr1 - expression representing rational polynomial
   expr2 - expression representing rational polynomial
   order - one of the options LexOrder, DegreeOrder or DegInvLexOrder

