TORDER _ _ _ _ _ _ _ _ _ _ _ _ operator
The operator torder sets the actual variable sequence and term order.
1. simple term order:
torder(<vl>, <m>)
where <vl> is a list of variables ( kernels) and <m> is the name of a simple term order mode lex term order, gradlex term order, revgradlex term order or another implemented parameter less mode.
2. stepped term order:
torder(<vl>,<m>,<n>)
where <m> is the name of a two step term order, one of gradlexgradlex term order, gradlexrevgradlex term order, lexgradlex term order or lexrevgradlex term order, and <n> is a positive integer.
3. weighted term order
torder(<vl>, weighted, <n>,<n>,...);
where the <n> are positive integers, see weighted term order.
4. matrix term order
torder(<vl>, matrix, <m>);
where <m> is a matrix with integer elements, see torder_compile.
5. compiled term order
torder(<vl>, co);
where <co> is the name of a routine generated by torder_compile.
tordersets 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 lex term order. The previous setting is returned as a list.
Alternatively to the above syntax the arguments of torder may be collected in a list and passed as one argument to torder.