Different ordering on monomials are available. They derived from the virtual class MonomialOrdering. These classes implement the function:
MonomialOrdering
where
m1
m2
int
s1
s2
It should return true iff .
true