FLINT3.7.0-dev

_mp_real_log_ratio_zuniga, _mp_real_atan_ratio_zuniga

Synopsis#include <flint/mp_real.h>
void _mp_real_log_ratio_zuniga(mp_real_t res, const fmpz_t u, const fmpz_t v, slong n)source
void _mp_real_atan_ratio_zuniga(mp_real_t res, const fmpz_t d, const fmpz_t t, slong n)source

Set res to \log(u/v) for integers u > v > 0, resp. to \operatorname{atan}(d/t) for integers 0 < d < t, by Zuniga's Ramanujan-type series [Zun2025] [Zun2025b], to about n limbs. See Zuniga's series.

References#

Cite this page

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