Singular Manual: Local orderings

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

User manual for Singular version 4.3.2, 2023, generated by texi2html.