| ### 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

User manual for Singular version 4.4.1, 2025, generated by texi2html.