
<A NAME=graded_term_order>

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



<B>GRADED TERM ORDER</B><P>
<P>
 
 <P>
<P>
establishes a cascaded term ordering: first a graduated ordering 
similar to 
<A HREF=r37_0357.html>gradlex term order</A> is used, where the exponents first 
are 
multiplied by the given weights. If there are less weight values than 
variables, the weight list is extended by ones. If the weighted degree 
comparison is not decidable, the term ordering described in the following 
parameters of the 
<A HREF=r37_0354.html>torder</A> command is used. 
<P>
<P>
