
<A NAME=weighted_term_order>

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



<B>WEIGHTED TERM ORDER</B><P>
<P>
 
 <P>
<P>
establishes a graduated ordering 
similar to 
<A HREF=r37_0357.html>gradlex term order</A>, 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 

<A HREF=r37_0356.html>lex term order</A> is used. 
<P>
<P>
