File r37/lisp/csl/html/r37_0363.html artifact 7bfed7954e part of check-in 5f584e9b52



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


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