| ### B.2.3 Global orderings For all these orderings, we have Loc = lp: lexicographical ordering: . rp: reverse 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-0-2, 2015, generated by texi2html.