FLINT3.7.0-dev

mp_real_get_arb

Synopsis#include <flint/mp_real.h>
void mp_real_get_arb(arb_t res, const mp_real_t x)source

Set res to the ball x without loss: the midpoint exactly and the radius rounded up.

Guides#

Cite this page

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