MathObj.RefinementMask2

Documentation

data T a

Instances

Functor T

Show a => Show (T a)

(Arbitrary a, C a) => Arbitrary (T a)

coeffs :: T a -> [a]

fromCoeffs :: [a] -> T a

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

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)

If the mask does not sum up to a power of 1/2 then the function returns Nothing.

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

Convolve polynomials via refinement mask.

(mask x + ux*(-1,1)^degree x) * (mask y + uy*(-1,1)^degree y)

convolveTruncatedPowerPolynomials :: C a => T a -> T a -> T a