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

Safe HaskellNone

MathObj.PowerSeries.Example

Contents

Synopsis

Default implementations.

recip :: C a => [a]Source

exp :: C a => [a]Source

sqrt :: C a => [a]Source

atan :: C a => [a]Source

asin :: C a => [a]Source

log :: C a => [a]Source

cos :: C a => [a]Source

sin :: C a => [a]Source

acos :: C a => [a]Source

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

sinh :: C a => [a]Source

atanh :: C a => [a]Source

cosh :: C a => [a]Source

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

Generate Taylor series explicitly.

recipExpl :: C a => [a]Source

expExpl :: C a => [a]Source

cosExpl :: C a => [a]Source

sinExpl :: C a => [a]Source

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

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

logExpl :: C a => [a]Source

sqrtExpl :: C a => [a]Source

atanExpl :: C a => [a]Source

sinhExpl :: C a => [a]Source

atanhExpl :: C a => [a]Source

coshExpl :: C a => [a]Source

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

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

erf :: C a => [a]Source

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]Source

tanODESieve :: C a => [a]Source

tanODE :: C a => [a]Source

cosODE :: C a => [a]Source

sinODE :: C a => [a]Source

logODE :: C a => [a]Source

sqrtODE :: C a => [a]Source

atanODE :: C a => [a]Source

asinODE :: C a => [a]Source

recipCircle :: C a => [a]Source

acosODE :: C a => [a]Source

sinhODE :: C a => [a]Source

atanhODE :: C a => [a]Source

coshODE :: C a => [a]Source

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