Term Ordering

GRÖBNER can compute Gröbner bases w.r.t. several orderings of terms within a polynomial.

If Term Ordering is chosen from the general setup menu the actual setting for can be chosen from the following menu:

=================================================
Current setting is: lexical
=================================================
Total Degree Inverse Lexical ... TDI
Total Degree Lexical ........... TD
Lexical ........................ Lex
Matrix ......................... Mat
Leave Unmodified ............... <return>

First, the current setting of the term ordering is displayed, the following choices are possible then:

TDI

chooses total degree inverse lexical term ordering, i.e. .

TD

chooses total degree lexical term ordering, i.e. .

Lex

chooses lexical term ordering, i.e. .

Mat

chooses matrix term ordering, i.e. , for a matrix M.

Note: The menu for setting up the term ordering can also be accessed directly by calling the program to_setup.

See [5] for the definitions of those orderings and Section 2.2 for the influence of the chosen term ordering.