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

Safe HaskellNone
LanguageHaskell98

MathObj.PowerSeries2.Core

Contents

Synopsis

Documentation

type T a = [[a]] Source

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

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

Series arithmetic

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

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

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

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

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

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

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

pow :: C a => (a -> a) -> a -> T a -> T a Source

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

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

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

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

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

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