Artifact 7bfed7954ef5297ba969a7e83f414c38420782b6b3ea9b07684001df44a1fa4e:

• Executable file r37/lisp/csl/html/r37_0363.html — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 545) [annotate] [blame] [check-ins using] [more...]

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