| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
MathObj.PowerSeries
Description
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.