FLINT3.7.0-dev

dlog_1modpe_init, dlog_1modpe

Synopsis#include <flint/dlog.h>
void dlog_1modpe_init(dlog_1modpe_t t, ulong a1, ulong p, ulong e, nmod_t pe)source
ulong dlog_1modpe(const dlog_1modpe_t t, ulong b1, ulong p, ulong e, nmod_t pe)source

For odd p and a_1 \equiv 1 \pmod p generating 1 + p\mathbb{Z} modulo p^e, precompute the inverse of the logarithm of a_1 to the base 1 + p (throws if a_1 = 1 and e > 1), and return the logarithm of b_1 \equiv 1 \pmod p to the base a_1, modulo p^{e-1}.

Cite this page

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