Artifact a5fda4ea22195b9ab444dd80999e05ac58d73011eae0d844def462cf3d34624a:

• Executable file r37/lisp/csl/html/r37_0364.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: 640) [annotate] [blame] [check-ins using] [more...]

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