up previous next
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.