FLINT3.7.0-dev
/

d1b_exp, d2b_exp, d3b_exp, d4b_exp

Synopsis#include <flint/dfloat.h>
void d1b_exp(d1b_t res, d1b_srcptr x)
void d2b_exp(d2b_t res, d2b_srcptr x)
void d3b_exp(d3b_t res, d3b_srcptr x)
void d4b_exp(d4b_t res, d4b_srcptr x)

The exponential of a ball. The radius is ∣y∣(1+2ε)((er−1)+2ε)|y| (1 + 2\varepsilon)((e^r - 1) + 2\varepsilon) for the kernel value yy at the midpoint, the input radius rr and the static bound ε\varepsilon. Where this overflows for a wide ball whose upper end hh does not, the result is [0±eh][0 \pm e^h]. Arguments beyond the double range give the whole real line (overflow) or a ball of radius at most 2−10742^{-1074} around zero (underflow); exp⁡([0±0])=[1±0]\exp([0 \pm 0]) = [1 \pm 0].

Guides#

Cite this page

The FLINT team, “d1b_exp, d2b_exp, d3b_exp, d4b_exp (dfloat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/dfloat/d1b_exp.html (generated 2026-11-02).