FLINT3.7.0-dev

_padic_teichmuller

Synopsis#include <flint/padic.h>
void _padic_teichmuller(fmpz_t rop, const fmpz_t op, const fmpz_t p, slong N)source

Sets rop to the Teichmüller lift of the p-adic unit op modulo p^N: the unique root of unity of order dividing p - 1 that is congruent to op modulo p. Requires N \ge 1 and allows aliasing. For p = 2 the result is 1.

Cite this page

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