DistributedMultivariatePolynomial
DistributedMultivariatePolynomial and
HomogeneousDistributedMultivariatePolynomial, abbreviated
DMP and
HDMP
repspectively, are very similar to
MultivariatePolynomial
except that they are represented and displayed in a non-recursive manner.
The construction
DMP orders its
monomials lexicographically while
HDMP
orders them by total order refined by reverse lexicographic order.
These constructors are mostly used in Groebner basis calculations.
Note that we get a different Groebner basis when we use the
HDMP
polynomials, as expected.
GeneralDistributedMultivariatePolynomial is somewhat more flexible in
the sense that as well as accepting a list of variables to specify the
variable ordering, it also takes a predicate on exponent vectors to specify
the term ordering. With this polynomial type the user can experiment with
the effect of using completely arbitrary term orderings. This flexibility
is mostly important for algorithms such as Groebner basis calculations
which can be very sensitive to term orderings.
For more information on related topics, see
Polynomials,
Conversion,
Polynomial,
UnivariatePolynomial. and
MultivariatePolynomial,
Issue the system command
to display the full list of operations defined by
DistributedMultivariatePolynomial and