Safe Haskell | Safe-Infered |
---|
- recip :: C a => [a]
- exp, sqrt, atan, asin, log, cos, sin :: C a => [a]
- acos :: C a => [a]
- tan :: (C a, C a) => [a]
- sinh, atanh, cosh :: C a => [a]
- pow :: C a => a -> [a]
- recipExpl :: C a => [a]
- expExpl, cosExpl, sinExpl :: C a => [a]
- tanExpl, tanExplSieve :: (C a, C a) => [a]
- logExpl, sqrtExpl, atanExpl :: C a => [a]
- sinhExpl, atanhExpl, coshExpl :: C a => [a]
- powExpl :: C a => a -> [a]
- erf :: C a => [a]
- expODE, tanODESieve, tanODE, cosODE, sinODE :: C a => [a]
- logODE, sqrtODE, atanODE, asinODE, recipCircle :: C a => [a]
- acosODE :: C a => [a]
- sinhODE, atanhODE, coshODE :: C a => [a]
- powODE :: C a => a -> [a]
Default implementations.
Generate Taylor series explicitly.
tanExpl, tanExplSieve :: (C a, C a) => [a]Source
Power series of (1+x)^expon using the binomial series.
Power series of error function (almost).
More precisely erf = 2 / sqrt pi * integrate (x -> exp (-x^2))
,
with erf 0 = 0
.