up previous next

2.9.5 Orderings

Polynomials are always sorted with respect to the ordering of their base ring. All the operations involving polynomials utilize and preserve this ordering. The user can define custom orderings or choose a predefined term-ordering (see NewPolyRing )

The predefined term-orderings are:

* standard-degree reverse lexicographic: DegRevLex (default)

* standard-degree lexicographic: DegLex

* pure lexicographic: Lex (no grading)

* pure xel: Xel (NOT YET IMPLEMENTED)

If the indeterminates are given in the order x_1, ...,x_n , then x_1 > ... > x_n with respect to Lex, and x_1 < ... < x_n with respect to Xel.