|
B.2.3 Global orderings
For all these orderings, we have Loc 549#549 = 549#549
- lp:
- lexicographical ordering:
551#551. - rp:
- inverse lexicographical ordering:
552#552 - dp:
- degree reverse lexicographical ordering:
let
553#553 then
554#554 or
556#556 and
557#557 - Dp:
- degree lexicographical ordering:
let
553#553 then
554#554 or
556#556 and
558#558 - wp:
- weighted reverse lexicographical ordering:
let
559#559 be positive integers. Then
560#560 is defined as dp
but with
561#561 - Wp:
- weighted lexicographical ordering:
let
559#559 be positive integers. Then
562#562 is defined as Dp
but with
561#561
|