Top
Back: General definitions for orderings
Forward: Local orderings
FastBack: Representation of mathematical objects
FastForward: Mathematical background
Up: Monomial orderings
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

B.2.3 Global orderings

For all these orderings, we have Loc 551#551 = 551#551

lp:
lexicographical ordering:
553#553.
rp:
inverse lexicographical ordering:
554#554
dp:
degree reverse lexicographical ordering:
let 555#555 then 556#556 or
558#558 and 559#559
Dp:
degree lexicographical ordering:
let 555#555 then 556#556 or
558#558 and 560#560
wp:
weighted reverse lexicographical ordering:
let 561#561 be positive integers. Then 562#562 is defined as dp but with 563#563
Wp:
weighted lexicographical ordering:
let 561#561 be positive integers. Then 564#564 is defined as Dp but with 563#563

Top Back: General definitions for orderings Forward: Local orderings FastBack: Representation of mathematical objects FastForward: Mathematical background Up: Monomial orderings Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.4.1, 2025, generated by texi2html.