File r37/lisp/csl/html/r37_0356.html artifact c9c99c1652 part of check-in 3c4d7b69af



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


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