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 (res,n)(\mathit{res}, n) to the floor of log⁡(1+2−i)\log(1 + 2^{-i}) resp. atan⁡(2−i)\operatorname{atan}(2^{-i}) scaled by BnB^n, or one less, for i≥1i \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-11-02).