FLINT3.7.0-dev

_padic_radix_log_bound

Synopsis#include <flint/padic_radix.h>
slong _padic_radix_log_bound(slong v, slong N, ulong p)source

Returns the least b≥2b \ge 2 such that iv−ord⁡p(i)≥Niv - \operatorname{ord}_p(i) \ge N for all i≥bi \ge b, so that the series for log⁡(1−y)\log(1 - y) with ord⁡p(y)=v\operatorname{ord}_p(y) = v can be truncated after b−1b - 1 terms.

Cite this page

The FLINT team, “_padic_radix_log_bound (padic_radix.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/padic_radix/_padic_radix_log_bound.html (generated 2026-11-02).