basic): add a symmetric version of coeff_X_mul and generalize to monomials (#10429)

Commit

4 years ago

feat(data/mv_polynomial/basic): add a symmetric version of coeff_X_mul and generalize to monomials (#10429)

Author

eric-wieser

Parents