Safe Haskell | None |
---|---|

Language | Haskell98 |

- 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 a Source #

fromPolynomial :: C a => T a -> T a Source #

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`

.