|
B.2.3 Global orderings
For all these orderings: 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
|