Expand multivariate polynomials #
Given a multivariate polynomial
φ, one may replace every occurrence of
X i by
X i ^ n,
for some natural number
This operation is called
MvPolynomial.expand and it is an algebra homomorphism.
Main declaration #
MvPolynomial.expand: expand a polynomial by a factor of p, so
∑ aₙ xⁿbecomes
∑ aₙ xⁿᵖ.