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

Language | Haskell98 |

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

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

Evaluate (truncated) power series.

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

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.