Top
Back: Introduction to orderings
Forward: Global 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.2 General definitions for orderings

A monomial ordering (term ordering) on 62#62 is a total ordering 226#226 on the set of monomials (power products) 541#541 which is compatible with the natural semigroup structure, i.e., 542#542 implies 543#543 for any 544#544. We do not require 226#226 to be a wellordering. See the literature cited in References.

It is known that any monomial ordering can be represented by a matrix 13#13 in 545#545,but, of course, only integer coefficients are of relevance in practice.

Global orderings are wellorderings (i.e., 546#546 for each variable 126#126), local orderings satisfy 547#547 for each variable. If some variables are ordered globally and others locally we call it a mixed ordering. Local or mixed orderings are not wellorderings.

Let 50#50 be the ground field, 548#548 the variables and 226#226 a monomial ordering, then Loc 549#549 denotes the localization of 549#549 with respect to the multiplicatively closed set

550#550
Here, 148#148 denotes the leading monomial of 149#149, i.e., the biggest monomial of 149#149 with respect to 226#226. The result of any computation which uses standard basis computations has to be interpreted in Loc 549#549.

Note that the definition of a ring includes the definition of its monomial ordering (see Rings and orderings). SINGULAR offers the monomial orderings described in the following sections.


Top Back: Introduction to orderings Forward: Global 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.