| ### B.2.4 Local orderings For ls, ds, Ds and, if the weights are positive integers, also for ws and Ws, we have Loc = , the localization of at the maximal ideal . ls: negative lexicographical ordering: . ds: negative degree reverse lexicographical ordering: let then or and Ds: negative degree lexicographical ordering: let then or and ws: (general) weighted reverse lexicographical ordering: a nonzero integer, any integer (including 0), is defined as `ds` but with Ws: (general) weighted lexicographical ordering: a nonzero integer, any integer (including 0), is defined as `Ds` but with

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