<A NAME=Groebner_bases>
<TITLE>Groebner_bases</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>
<B>GROEBNER BASES</B> _ _ _ _ _ _ _ _ _ _ _ _ <B>introduction</B><P>
<P>
The GROEBNER package calculates <em>Groebner bases</em> using the
<em>Buchberger algorithm</em> and provides related algorithms
for arithmetic with ideal bases, such as ideal quotients,
Hilbert polynomials ( <em>Hollmann algorithm</em>),
basis conversion (
<em>Faugere-Gianni-Lazard-Mora algorithm</em>), independent
variable set ( <em>Kredel-Weispfenning algorithm</em>).
<P>
<P>
Some routines of the Groebner package are used by
<A HREF=r37_0179.html>solve</A> - in
that context the package is loaded automatically. However, if you
want to use the package by explicit calls you must load it by
<P><PRE><TT>
load_package groebner;
</TT></PRE><P><P>
<P>
For the common parameter setting of most operators in this package
see
<A HREF=r37_0352.html>ideal parameters</A>.
<P>
<P>