File r37/lisp/csl/html/r37_0354.html artifact dc2721bc8e part of check-in d9e362f11e



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


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