| ### B.2.3 Global orderings For all these orderings, we have Loc = lp: lexicographical ordering: . rp: inverse 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

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