FLINT3.7.0-dev

arf_interval_get_arb

Synopsis#include <flint/arb_calc.h>
void arf_interval_get_arb(arb_t x, const arf_interval_t v, slong prec)source

Sets x to a ball that contains the interval [a, b] (using arb_set_interval_arf); the ball is exact if the interval is a point and is otherwise rounded outward to prec bits.

Cite this page

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