|
B.2.3 Global orderings
For all these orderings, we have Loc = ![$K[x]$](sing_549.png)
- 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

|