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.

Wed Sep 2 09:42:51 MDT 1998