Artifact 72fa33b0d5df1bce669bf6bbcde01708e174699770b8611b0cc92d1aa2298f32:

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

<A NAME=gradlexgradlex_term_order>

<TITLE>gradlexgradlex_term_order</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>



<B>GRADLEXGRADLEX TERM ORDER</B><P>
<P>
 
 <P>
<P>
The terms are separated into two groups where the 
second parameter of the 
<A HREF=r37_0354.html>torder</A> call determines 
the length of the first group. For a comparison first 
the total degrees of both variable groups are compared. 
If both are equal 

<A HREF=r37_0357.html>gradlex term order</A> comparison is applied to the first 

group, and if that does not decide 
<A HREF=r37_0357.html>gradlex term order</A> 
is applied for the second group. This order has the elimination 
property for the variable groups. It can be used e.g. for 
separating variables from parameters. 
<P>
<P>