Simple orderings
- Simple orderings:
- Can be expressed by degree and Lex or RevLex comparison
- RevLex ordering:
- Reverse placement of exponents in exponent vector
an an-1 ... a1 a0 - Little Endian machines:
- Reverse placement of exponents in exponent vector
- Degree orderings:
- Put degree entry in front of exponent vector
deg(a) an an-1 ... a1 a0 - Mix of degree and Lex/RevLex conditions:
- Reverse "sign" of condition