|
B.2.3 Global orderings
For all these orderings, we have Loc =
- lp:
- lexicographical ordering:
. - rp:
- reverse lexicographical ordering:
- dp:
- degree reverse lexicographical ordering:
let
then
or
and
- Dp:
- degree lexicographical ordering:
let
then
or
and
- wp:
- weighted reverse lexicographical ordering:
let
be positive integers. Then
is defined as dp
but with
- Wp:
- weighted lexicographical ordering:
let
be positive integers. Then
is defined as Dp
but with
|