- 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