These are chat archives for symengine/symengine
MultivariateIntPolynomialclass. It currently uses an unordered map from
vector -> coefficient (int). Even Piranha does the same. However, doesn't it seem like a better choice to use ordered maps? This may help in fast implementation of evaluation (using Horner's modification for Multivariate Polynomials), which is also used by the modified Kronecker substitution (for multiplication). The ordering of the monomials maybe of the form, just like the univariate case. At the first level the ordering is decided by the power of a particular variable (say
x) in all monomials. Ties are then resolved by looking at the second variable and so on.