Artifact ddbb0706b5562c083af3d4ddbbe56ff6c569016f16857bf534f965db842eff08:
- Executable file
r37/lisp/csl/html/r37_0675.html
— part of check-in
[f2fda60abd]
at
2011-09-02 18:13:33
on branch master
— Some historical releases purely for archival purposes
git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 730) [annotate] [blame] [check-ins using] [more...]
<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>