`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-11-02).

@misc{flint-doc-dlog-dlog-1modpe-init,
  author       = {{The FLINT team}},
  title        = {{dlog\_1modpe\_init, dlog\_1modpe (dlog.h)}},
  howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
  year         = {2026},
  url          = {https://flintlib.org/doc/dlog/dlog_1modpe_init.html},
  note         = {Generated 2026-11-02}
}

Edit this page · PDF version · Built with fdoc from 0a4634bf95