d1_get_arf, d2_get_arf, d3_get_arf, d4_get_arf, d1_set_arf, d2_set_arf, d3_set_arf, d4_set_arf, d1_get_arb, d2_get_arb, d3_get_arb, d4_get_arb, d1_set_arb, d2_set_arb, d3_set_arb, d4_set_arb, d1b_get_arb, d2b_get_arb, d3b_get_arb, d4b_get_arb, d1b_set_arb, d2b_set_arb, d3b_set_arb, d4b_set_arb, d1b_set_arf, d2b_set_arf, d3b_set_arf, d4b_set_arf
#include <flint/dfloat.h>void d1b_get_arb(arb_t res, d1b_srcptr x)void d2b_get_arb(arb_t res, d2b_srcptr x)void d3b_get_arb(arb_t res, d3b_srcptr x)void d4b_get_arb(arb_t res, d4b_srcptr x)Conversions from and to arf_t and arb_t. The get functions are exact (the radius is rounded up to a mag_t). The set functions round the midpoint to N doubles by greedy rounding and, for balls, add the remainder to the radius. A nonfinite arb_t or arf_t gives the whole real line, and dNb_get_arb gives the whole real line as [0 \pm \infty].
The FLINT team, “d1_get_arf, d2_get_arf, d3_get_arf, d4_get_arf, d1_set_arf, d2_set_arf, d3_set_arf, d4_set_arf, d1_get_arb, d2_get_arb, d3_get_arb, d4_get_arb, d1_set_arb, d2_set_arb, d3_set_arb, d4_set_arb, d1b_get_arb, d2b_get_arb, d3b_get_arb, d4b_get_arb, d1b_set_arb, d2b_set_arb, d3b_set_arb, d4b_set_arb, d1b_set_arf, d2b_set_arf, d3b_set_arf, d4b_set_arf (dfloat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/dfloat/d1_get_arf.html (generated 2026-10-20).
@misc{flint-doc-dfloat-d1-get-arf,
author = {{The FLINT team}},
title = {{d1\_get\_arf, d2\_get\_arf, d3\_get\_arf, d4\_get\_arf, d1\_set\_arf, d2\_set\_arf, d3\_set\_arf, d4\_set\_arf, d1\_get\_arb, d2\_get\_arb, d3\_get\_arb, d4\_get\_arb, d1\_set\_arb, d2\_set\_arb, d3\_set\_arb, d4\_set\_arb, d1b\_get\_arb, d2b\_get\_arb, d3b\_get\_arb, d4b\_get\_arb, d1b\_set\_arb, d2b\_set\_arb, d3b\_set\_arb, d4b\_set\_arb, d1b\_set\_arf, d2b\_set\_arf, d3b\_set\_arf, d4b\_set\_arf (dfloat.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/dfloat/d1_get_arf.html},
note = {Generated 2026-10-20}
}