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\varepsilon)((e^r - 1) + 2\varepsilon) for the kernel value y at the midpoint, the input radius r and the static bound \varepsilon. Where this overflows for a wide ball whose upper end h does not, the result is [0 \pm e^h]. Arguments beyond the double range give the whole real line (overflow) or a ball of radius at most 2^{-1074} around zero (underflow); \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-10-20).