File r37/lisp/csl/html/r37_0675.html artifact ddbb0706b5 part of check-in e1a8550313



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


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]