FLINT3.7.0-dev

_mp_real_get_fixed

Synopsis#include <flint/mp_real.h>
void _mp_real_get_fixed(nn_ptr y, ulong * err, const mp_real_t x, slong n)source

Write a ball known to lie in [0, 1) as the fixed-point number (y, n), truncating, and set err (if not NULL) to a bound for the error in ulps B^{-n}, rounded up; UWORD_MAX means that no bound below B - 1 is known. A negative midpoint within the radius is clamped to zero and absorbed into the bound.

Guides#

Cite this page

The FLINT team, “_mp_real_get_fixed (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_fixed.html (generated 2026-10-20).