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