Module poly 

Univariate polynomial normal form: combine like terms, order by descending degree.

Functions

polynomial_normal_form

If expr is a polynomial in a single variable, return it in standard form (highest degree first).

try_polynomial_normal_form