Artifact dc2721bc8e9647f34f2e4d58264b61ad5b251fa83bade154762fdcb9e86938b8:

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

<A NAME=torder>

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



<B>TORDER</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>operator</B><P>
<P>
 
The operator <em>torder</em> sets the actual variable sequence and term order. 
<P>
<P>
1. simple term order: 
 <P> <H3> 
syntax: </H3>
<P>
<P>
<em>torder</em>(&lt;vl&gt;, &lt;m&gt;) 
<P>
<P>
<P>
where &lt;vl&gt; is a 
<A HREF=r37_0053.html>list</A> of variables (
<A HREF=r37_0002.html>kernel</A>s) and 
&lt;m&gt; is the name of a simple 
<A HREF=r37_0353.html>term order</A> mode 

<A HREF=r37_0356.html>lex term order</A>, 
<A HREF=r37_0357.html>gradlex term order</A>, 

<A HREF=r37_0358.html>revgradlex term order</A> or another implemented parameter
less mode. 
<P>
<P>
2. stepped term order: 
 <P> <H3> 
syntax: </H3>
<P>
<P>
<em>torder</em>(&lt;vl&gt;,&lt;m&gt;,&lt;n&gt;) 
<P>
<P>
<P>
<P>
where &lt;m&gt; is the name of a two step term order, one of 

<A HREF=r37_0359.html>gradlexgradlex term order</A>, 
<A HREF=r37_0360.html>gradlexrevgradlex term order</A>, 

<A HREF=r37_0361.html>lexgradlex term order</A> or 
<A HREF=r37_0362.html>lexrevgradlex term order</A>, and 
&lt;n&gt; is a positive integer. 
<P>
<P>
3. weighted term order 
 <P> <H3> 
syntax: </H3>
<P>
<P>
<em>torder</em>(&lt;vl&gt;, <em>weighted</em>, &lt;n&gt;,&lt;n&gt;,...); 
<P>
<P>
<P>
where the &lt;n&gt; are positive integers, see 
<A HREF=r37_0363.html>weighted term order</A>. 
<P>
<P>
4. matrix term order 
 <P> <H3> 
syntax: </H3>
<P>
<P>
<em>torder</em>(&lt;vl&gt;, <em>matrix</em>, &lt;m&gt;); 
<P>
<P>
<P>
where &lt;m&gt; is a matrix with integer elements, see 

<A HREF=r37_0355.html>torder_compile</A>. 
<P>
<P>
5. compiled term order 
 <P> <H3> 
syntax: </H3>
<P>
<P>
<em>torder</em>(&lt;vl&gt;, <em>co</em>); 
<P>
<P>
<P>
where &lt;co&gt; is the name of a routine generated by 

<A HREF=r37_0355.html>torder_compile</A>. 
<P>
<P>
<em>torder</em>sets the variable sequence and the term order mode. If the 
an empty list is used as variable sequence, the automatic variable extraction 
is activated. The defaults are the empty variable list an the 

<A HREF=r37_0356.html>lex term order</A>. 
The previous setting is returned as a list. 
<P>
<P>
Alternatively to the above syntax the arguments of <em>torder</em> may be 
collected in a 
<A HREF=r37_0053.html>list</A> and passed as one argument to 
<em>torder</em>. 
<P>
<P>