FLINT3.7.0-dev

_mp_real_log1p_2mexp_ui_bs, _mp_real_atan_2mexp_ui_bs

Synopsis#include <flint/mp_real.h>
void _mp_real_log1p_2mexp_ui_bs(nn_ptr res, ulong i, slong n)source
void _mp_real_atan_2mexp_ui_bs(nn_ptr res, ulong i, slong n)source

Set (\mathit{res}, n) to the floor of \log(1 + 2^{-i}) resp. \operatorname{atan}(2^{-i}) scaled by B^n, or one less, for i \ge 1, by binary splitting in ball arithmetic. These compute entries of the bitwise tables.

Cite this page

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