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