erf-1.0.0.0: The error function, erf, and friends
Data.Number.Erf
Synopsis
class Floating a => Erf a whereSource
Error function related functions.
The derivative of erf is x -> 2 / sqrt pi * exp (x^2), and this uniquely determines erf by erf 0 = 0.
erf
x -> 2 / sqrt pi * exp (x^2)
erf 0 = 0
Minimal complete definition is erfc or normcdf.
erfc
normcdf
Methods
erf :: a -> aSource
erfcSource
Arguments
erfc x = 1 - erf x
erfcxSource
erfcx x = exp (x*x) * erfc x
normcdfSource
normcdf x = erfc(-x sqrt 2) 2
Instances