|
B.2.2 General definitions for orderingsA 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. |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |