FLINT3.7.0-dev

arb_get_di

Synopsis#include <flint/double_interval.h>
di_t arb_get_di(const arb_t x)source

Returns an interval containing the ball x: its lower and upper endpoints, rounded down and up to doubles. A ball with a NaN midpoint gives [-\infty, +\infty], and an infinite radius gives infinite endpoints.

Cite this page

The FLINT team, “arb_get_di (double_interval.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/double_interval/arb_get_di.html (generated 2026-10-20).