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

Safe HaskellNone
LanguageHaskell98

MathObj.PowerSeries.Example

Contents

Synopsis

Default implementations.

recip :: C a => [a] #

exp :: C a => [a] #

sin :: C a => [a] #

cos :: C a => [a] #

log :: C a => [a] #

asin :: C a => [a] #

atan :: C a => [a] #

sqrt :: C a => [a] #

acos :: C a => [a] #

tan :: (C a, C a) => [a] #

sinh :: C a => [a] #

cosh :: C a => [a] #

atanh :: C a => [a] #

pow :: C a => a -> [a] #

Generate Taylor series explicitly.

recipExpl :: C a => [a] #

expExpl :: C a => [a] #

sinExpl :: C a => [a] #

cosExpl :: C a => [a] #

tanExpl :: (C a, C a) => [a] #

tanExplSieve :: (C a, C a) => [a] #

logExpl :: C a => [a] #

atanExpl :: C a => [a] #

sqrtExpl :: C a => [a] #

sinhExpl :: C a => [a] #

coshExpl :: C a => [a] #

atanhExpl :: C a => [a] #

Power series of (1+x)^expon using the binomial series.

powExpl :: C a => a -> [a] #

erf :: C a => [a] #

Power series of error function (almost). More precisely erf = 2 / sqrt pi * integrate (x -> exp (-x^2)) , with erf 0 = 0.

Generate Taylor series from differential equations.

expODE :: C a => [a] #

sinODE :: C a => [a] #

cosODE :: C a => [a] #

tanODE :: C a => [a] #

tanODESieve :: C a => [a] #

logODE :: C a => [a] #

recipCircle :: C a => [a] #

asinODE :: C a => [a] #

atanODE :: C a => [a] #

sqrtODE :: C a => [a] #

acosODE :: C a => [a] #

sinhODE :: C a => [a] #

coshODE :: C a => [a] #

atanhODE :: C a => [a] #

powODE :: C a => a -> [a] #