Power series, either finite or unbounded. (zipWith does exactly the right thing to make it work almost transparently.)

- newtype T a = Cons {
- coeffs :: [a]

- fromCoeffs :: [a] -> T a
- lift0 :: [a] -> T a
- lift1 :: ([a] -> [a]) -> T a -> T a
- lift2 :: ([a] -> [a] -> [a]) -> T a -> T a -> T a
- const :: a -> T a
- appPrec :: Int
- truncate :: Int -> T a -> T a
- evaluate :: C a => T a -> a -> a
- evaluateCoeffVector :: C a v => T v -> a -> v
- evaluateArgVector :: (C a v, C v) => T a -> v -> v
- approximate :: C a => T a -> a -> [a]
- approximateCoeffVector :: C a v => T v -> a -> [v]
- approximateArgVector :: (C a v, C v) => T a -> v -> [v]
- compose :: (C a, C a) => T a -> T a -> T a

# Documentation

fromCoeffs :: [a] -> T aSource

evaluateCoeffVector :: C a v => T v -> a -> vSource

Evaluate (truncated) power series.

evaluateArgVector :: (C a v, C v) => T a -> v -> vSource

approximate :: C a => T a -> a -> [a]Source

Evaluate approximations that is evaluate all truncations of the series.

approximateCoeffVector :: C a v => T v -> a -> [v]Source

Evaluate approximations that is evaluate all truncations of the series.

approximateArgVector :: (C a v, C v) => T a -> v -> [v]Source

Evaluate approximations that is evaluate all truncations of the series.