- data T a
- coeffs :: T a -> [a]
- fromCoeffs :: [a] -> T a
- fromPolynomial :: C a => T a -> T a
- toPolynomial :: C a => T a -> Maybe (T a)
- toPolynomialFast :: C a => T a -> Maybe (T a)
- refinePolynomial :: C a => T a -> T a -> T a
- convolvePolynomial :: C a => T a -> T a -> T a
- convolveTruncatedPowerPolynomials :: C a => T a -> T a -> T a

# Documentation

fromCoeffs :: [a] -> T aSource

fromPolynomial :: C a => T a -> T aSource

Determine mask by Gauss elimination.

R - alternating binomial coefficients L - differences of translated polynomials in columns

p2 = L * R^(-1) * m

R * L^(-1) * p2 = m

toPolynomial :: C a => T a -> Maybe (T a)Source

If the mask does not sum up to a power of `1/2`

then the function returns `Nothing`

.