Artifact c9c99c1652538887cfc4e5fd8163b18710736c894635b54ce95168d1884b6966:

• Executable file r37/lisp/csl/html/r37_0356.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: 655) [annotate] [blame] [check-ins using] [more...]

<A NAME=lex_term_order>

<TITLE>lex_term_order</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>



<B>LEX TERM ORDER</B><P>
<P>
 
 <P>
<P>
The terms are ordered lexicographically: two terms t1 t2 
are compared for their degrees 
along the fixed variable sequence: t1 is higher than t2 
if the first different degree is higher in t1. 
This order has the <em>elimination property</em> 
for <em>groebner basis</em> calculations. 
If the ideal has a univariate polynomial in the last 
variable the groebner basis will contain 
such polynomial. <em>Lex</em> is best 
suited for solving of polynomial equation systems. 
<P>
<P>