code wiki / _hdl_build / _pe_f64erf_full.nx
_pe_f64erf_full.nx
buildroot/runtime/_hdl_build/_pe_f64erf_full.nx
about
_pe_f64erf_full.nx -- FULL-DOMAIN f64 erf: closes erf's OWN LOUD-NAN hole (1.75..6) by
composing the two proven rungs, so erf becomes a complete function over all reals.
|x| <= 1.75 -> nx_f64_erf (the Taylor series; handles 0/subnormal/sign/specials)
1.75 < |x| < 6 -> sign * (1 - erfc(|x|)) [nx_f64_erfc, the Laplace CF]
|x| >= 6 -> sign * 1 (erf saturates sub-ulp)
NaN -> NaN
Parallel to the gamma reflection: a named gap retired by composition of proven kernels,
never fabricated. f64 software-IEEE throughout.
license_tier: ORIGINAL
module: nishi-core.math.f64_erf_full
depends: nishi-core.math.f64, nishi-core.math.f64_erf, nishi-core.math.f64_erfc
capability: F64_ERF_FULL_DOMAIN
dependencies 4 imports · 1 importers
imports: nx_syscalls.nxnx_f64.nx_pe_f64erf.nx_pe_f64erfc.nx
imported by: _f64_erf_full_gate.nx
structs
| none |
consts
| 19 | const EF_ONE: i64 = 0x3FF0000000000000 // 1.0 |
| 20 | const EF_HI: i64 = 0x3FFC000000000000 // 1.75 |
| 21 | const EF_SIX: i64 = 0x4018000000000000 // 6.0 |
| 22 | const EF_INF: i64 = 0x7FF0000000000000 // +inf bits |
functions
| 24 | func nx_f64_erf_full(x: i64) -> i64 |