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:
“One does not realize the historical sensation as a re-experiencing, but as an understanding that is closely related to the understanding of music, or rather of the world by means of music.”
—Johan Huizinga (1872–1945)
“What is termed Sin is an essential element of progress. Without it the world would stagnate, or grow old, or become colourless. By its curiosity Sin increases the experience of the race. Through its intensified assertion of individualism it saves us from monotony of type. In its rejection of the current notions about morality, it is one with the higher ethics.”
—Oscar Wilde (1854–1900)