Theory of univariate polynomials #
The theorems include formulas for computing coefficients, such as
Decomposes the coefficient of the product
p * q as a sum
nat.antidiagonal. A version which sums over
range (n + 1) can be obtained
If the coefficients of a polynomial belong to n ideal contains the submodule span of the coefficients of a polynomial.