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

Safe HaskellNone

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 

Fields

coeffs :: [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)