numeric-prelude-0.4.3.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.