### 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.1, 2025, generated by texi2html.