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

Safe HaskellNone

MathObj.PowerSeries2.Core

Contents

Synopsis

Documentation

type T a = [[a]]Source

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

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

Series arithmetic

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

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

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

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

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

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

sqrt :: C a => (a -> a) -> T a -> T aSource

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

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

integrate0 :: C a => [a] -> T a -> T aSource

integrate1 :: C a => [a] -> T a -> T aSource

compose :: C a => [a] -> T a -> T aSource

Since the inner series must start with a zero, the first term is omitted in y.