- 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

# 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