mp_real_unique_integer
Synopsis
#include <flint/mp_real.h>This is arb_get_unique_fmpz with the result kept as an mp_real_t, free of the size limits of fmpz_t. With a fractional part of f limbs and a radius below one ulp, the candidates follow from the carry of the fraction plus the radius and the borrow of the fraction minus the radius, decided by scanning the fraction from its top limb until a limb is neither all zeros nor all ones; the integer part is then moved down (and incremented if needed).
Guides#
Cite this page
The FLINT team, “mp_real_unique_integer (mp_real.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mp_real/mp_real_unique_integer.html (generated 2026-10-20).
@misc{flint-doc-mp-real-mp-real-unique-integer,
author = {{The FLINT team}},
title = {{mp\_real\_unique\_integer (mp\_real.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/mp_real/mp_real_unique_integer.html},
note = {Generated 2026-10-20}
}