FLINT3.7.0-dev
/

_padic_radix_exp_bound

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

Returns the number nn of terms after which the exponential series for an argument of valuation vv can be truncated modulo pNp^N, n=max⁡(1,⌈((p−1)N−1)/((p−1)v−1)⌉)n = \max(1, \lceil ((p-1)N - 1)/((p-1)v - 1) \rceil). Assumes that the series converges (v≥1v \ge 1, or v≥2v \ge 2 for p=2p = 2).

Cite this page

The FLINT team, “_padic_radix_exp_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_exp_bound.html (generated 2026-11-02).