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 549#549 = 549#549

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

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.3.2, 2023, generated by texi2html.