|
B.2.3 Global orderings
- lp:
- lexicographical ordering:
- rp:
- reverse lexicographical ordering:
- dp:
- degree reverse lexicographical ordering:
- Dp:
- degree lexicographical ordering:
- wp:
- weighted reverse lexicographical ordering:
is defined as dp
but with
- Wp:
- weighted lexicographical ordering:
is defined as Dp
but with
|