FLINT3.7.0-dev

fmpz_abs_lbound_ui_2exp, fmpz_abs_ubound_ui_2exp

Synopsis#include <flint/fmpz.h>
ulong fmpz_abs_lbound_ui_2exp(slong * exp, const fmpz_t x, int bits)source
ulong fmpz_abs_ubound_ui_2exp(slong * exp, const fmpz_t x, int bits)source

For x \ne 0 and 1 \le bits \le \mathtt{FLINT\_BITS}, return a mantissa m with exactly bits bits and set *exp to e such that m 2^e \le |x| (lower bound, m is |x| truncated), respectively m 2^e \ge |x| (upper bound, m is |x| rounded up, which may increase e by one if the rounding carries).

Cite this page

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