_arb_poly_revert_series, arb_poly_revert_series
#include <flint/arb_poly.h>void arb_poly_revert_series(arb_poly_t h, const arb_poly_t f, slong n, slong prec)sourceSet h to the power series reversion of f, the expansion of the compositional inverse f^{-1}(x) modulo x^n. The constant term of f must be exactly zero and its linear coefficient must exclude zero (otherwise the result is indeterminate). The underscore version requires \mathit{flen} \ge 2 and no aliasing. Wrappers of _gr_poly_revert_series, which uses the fast Lagrange inversion of [Joh2015b] up to five times the Kinoshita–Li cutoff of the composition, and Newton iteration with fast composition beyond.
Guides#
References#
- [Joh2015b] F. Johansson, "A fast algorithm for reversion of power series", Math. Comp. 84 (2015), 475-484, http://doi.org/10.1090/S0025-5718-2014-02857-3
The FLINT team, “_arb_poly_revert_series, arb_poly_revert_series (arb_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/arb_poly/_arb_poly_revert_series.html (generated 2026-10-20).
@misc{flint-doc-arb-poly-arb-poly-revert-series,
author = {{The FLINT team}},
title = {{\_arb\_poly\_revert\_series, arb\_poly\_revert\_series (arb\_poly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/arb_poly/_arb_poly_revert_series.html},
note = {Generated 2026-10-20}
}