Singular Manual: Global orderings

| ### 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-3p3, 2016, generated by texi2html.