FLINT3.7.0-dev

_mp_real_get_fixed_floor

Synopsis#include <flint/mp_real.h>
int _mp_real_get_fixed_floor(nn_ptr y, slong n, const mp_real_t x)source

Write y = \lfloor x B^n \rfloor for a ball known to lie in [0, 1) and return 1 if the radius determines that floor; otherwise return 0, so that the caller can retry at a higher precision.

Cite this page

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