numeric-prelude-0.4.0.1: An experimental alternative hierarchy of numeric type classes

MathObj.PowerSeries

Description

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

Synopsis

# Documentation

newtype T a Source

Constructors

 Cons Fieldscoeffs :: [a]

Instances

 Functor T C T C a b => C a (T b) (C a, C a b) => C a (T b) (Eq a, C a) => Eq (T a) (Ord a, C a) => Ord (T a) Show a => Show (T a) C a => C (T a) C a => C (T a) C a => C (T a) (C a, C a) => C (T a) C a => C (T a) C a => C (T a) C a => C (T a)

fromCoeffs :: [a] -> T aSource

lift0 :: [a] -> T aSource

lift1 :: ([a] -> [a]) -> T a -> T aSource

lift2 :: ([a] -> [a] -> [a]) -> T a -> T a -> T aSource

const :: a -> T aSource

truncate :: Int -> T a -> T aSource

evaluate :: C a => T a -> a -> aSource

Evaluate (truncated) power series.

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.

compose :: (C a, C a) => T a -> T a -> T aSource

It fulfills ` evaluate x . evaluate y == evaluate (compose x y) `