<A NAME=matrix_term_order>
<TITLE>matrix_term_order</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>
<B>MATRIX TERM ORDER</B><P>
<P>
<P>
<P>
Any arbitrary term order mode can be installed by a matrix with
integer elements where the row length corresponds to the variable
number. The matrix must have at least as many rows as columns.
It must have full rank, and the top nonzero element of each column
must be positive.
<P>
<P>
The matrix <em>term order mode</em>
defines a term order where the exponent vectors of the monomials are
first multiplied by the matrix and the resulting vectors are compared
lexicographically.
<P>
<P>
If the switch
<A HREF=r37_0273.html>comp</A> is on, the matrix is converted into
a compiled LISP program for faster execution. A matrix can also be
compiled explicitly, see
<A HREF=r37_0355.html>torder_compile</A>.
<P>
<P>