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:
“The content of a thought depends on its external relations; on the way that the thought is related to the world, not on the way that it is related to other thoughts.”
—Jerry Alan Fodor (b. 1935)
“The idea of the sacred is quite simply one of the most conservative notions in any culture, because it seeks to turn other ideas—uncertainty, progress, change—into crimes.”
—Salman Rushdie (b. 1947)