Iterated derivation (+ proof of linearity)
mmap_poly + elementary symmetric polynomials.
General arithmetic on multinomials