Singular Manual: General definitions for orderings

| ### 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.

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