File r37/lisp/csl/html/r37_0357.html from the latest check-in

<A NAME=gradlex_term_order>

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



<B>GRADLEX TERM ORDER</B><P>
<P>
 
 <P>
<P>
The terms are ordered first with their total 
degree, and if the total degree is identical 
the comparison is 
<A HREF=r37_0356.html>lex term order</A>. 
With <em>groebner</em> basis calculations this term order 
produces polynomials of lowest degree. 
<P>
<P>