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