Feature request: decompose a polynomial

[nsajko]

https://en.wikipedia.org/wiki/Polynomial_decomposition

Didn't look into it yet, so I don't know how complicated this would be, but it seems like a feature that belongs into this package, judging by the problem statement.

[jverzani]

It would be nice to have, even if only for polys over integers.