<A NAME=XIDEAL>
<TITLE>XIDEAL</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>
<B>XIDEAL</B> _ _ _ _ _ _ _ _ _ _ _ _ <B>package</B><P>
<P>
<P>
<P>
Author: David Hartley
<P>
<P>
<em>xideal</em>constructs Groebner bases for solving the left ideal
membership problem: Groebner left ideal bases or GLIBs. For graded
ideals, where each form is homogeneous in degree, the distinction between
left and right ideals vanishes. Furthermore, if the generating forms are
all homogeneous, then the Groebner bases for the non-graded and graded
ideals are identical. In this case, <em>xideal</em> is able to save time by
truncating the Groebner basis at some maximum degree if desired.
<P>
<P>