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

User manual for Singular version 4.4.0, 2024, generated by texi2html.