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