gr_series_inv, gr_series_div, gr_series_divexact
Synopsis
#include <flint/gr_series.h>int gr_series_inv(gr_series_t res, const gr_series_t x, gr_ctx_t ctx)sourceint gr_series_div(gr_series_t res, const gr_series_t x, const gr_series_t y, gr_ctx_t ctx)sourceint gr_series_divexact(gr_series_t res, const gr_series_t x, const gr_series_t y, gr_ctx_t ctx)sourceInverse and quotients in R[[x]]. The inverse needs an invertible constant term: it returns GR_DOMAIN for the exact zero and GR_UNABLE for a series whose constant term is hidden in the error term. Division first removes the common power of x from numerator and denominator (a quotient such as x / x = 1 exists in R[[x]]), returning GR_DOMAIN if the denominator has larger valuation than the numerator and GR_UNABLE if the valuations cannot be decided.
Cite this page
The FLINT team, “gr_series_inv, gr_series_div, gr_series_divexact (gr_series.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/gr_series/gr_series_inv.html (generated 2026-10-20).
@misc{flint-doc-gr-series-gr-series-inv,
author = {{The FLINT team}},
title = {{gr\_series\_inv, gr\_series\_div, gr\_series\_divexact (gr\_series.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/gr_series/gr_series_inv.html},
note = {Generated 2026-10-20}
}