Related Notions
- An elimination order guarantees that a monomial involving any of a set of indeterminates will always be greater than a monomial not involving any of them.
- A product order is the easier example of an elimination order. It consists in combining monomial orders on disjoint sets of indeterminates into a monomial order on their union. It simply compares the exponents of the indeterminates in the first set using the first monomial order, then breaks ties using the other monomial ordering on the indeterminates of the second set. This method obviously generalizes to any disjoint union of sets of intertermines; the lexicographic order can be so obtained from the singleton sets {x1}, {x2}, {x3}, ... (with the unique monomial ordering for each singleton).
When using monomial orderings to define Gröbner bases, different orders can lead to different results. For example, graded reverse lexicographic order has a reputation for producing relatively small Gröbner bases, while elimination orders can be used with the same algorithms to solve systems of polynomial equations by eliminating variables.
Read more about this topic: Monomial Order
Famous quotes containing the words related and/or notions:
“There is nothing but is related to us, nothing that does not interest us,—kingdom, college, tree, horse, or iron show,—the roots of all things are in man.”
—Ralph Waldo Emerson (1803–1882)
“the full analysis of the notions of saying something and understanding what one said inevitably involves a concept which, as I will show in detail, essentially corresponds to the Cartesian idea of thought.”
—Zeno Vendler (b. 1921)