
<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>
