File r37/lisp/csl/html/r37_0359.html artifact 72fa33b0d5 part of check-in 5f584e9b52



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


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