padic_poly_pow
Synopsis
#include <flint/padic_poly.h>void padic_poly_pow(padic_poly_t rop, const padic_poly_t op, ulong e, const padic_ctx_t ctx)sourceSets rop to op^e, with op^0 = 1. The power is computed in (\mathbb{Z}/p^{N - ev}\mathbb{Z})[x] by _fmpz_mod_poly_pow.
If op has valuation v < 0 and is only known modulo p^N, its power is only known modulo p^{N + (e - 1)v} (Proposition 1 of Precision and representation of p-adic numbers); the function does not account for this.
Cite this page
The FLINT team, “padic_poly_pow (padic_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/padic_poly/padic_poly_pow.html (generated 2026-10-20).
@misc{flint-doc-padic-poly-padic-poly-pow,
author = {{The FLINT team}},
title = {{padic\_poly\_pow (padic\_poly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/padic_poly/padic_poly_pow.html},
note = {Generated 2026-10-20}
}