ierfc(z) : sign definition

[Albert Chan]

(11-20-2023 12:41 PM)Gil Wrote:  Function ierfc(z)

Wolfram Alpha defines it as
z×erfc(z) - e^(-z²)/sqrt(pi)
and calculates accordingly.

WA probably wrong, since their own Wollfram Mathworld site has the sign reveresd, see erfc₁(x)