torder INDEX

TORDER _ _ _ _ _ _ _ _ _ _ _ _ operator

The operator torder sets the actual variable sequence and term order.

1. simple term order:

syntax:

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:

syntax:

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

syntax:

torder(<vl>, weighted, <n>,<n>,...);

where the <n> are positive integers, see weighted term order.

4. matrix term order

syntax:

torder(<vl>, matrix, <m>);

where <m> is a matrix with integer elements, see torder_compile.

5. compiled term order

syntax:

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.