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