File r37/lisp/csl/html/r37_0364.html artifact a5fda4ea22 part of check-in d9e362f11e



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


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]