n_bpoly_mod_mul_series, n_bpoly_mod_divrem_series
Synopsis
#include <flint/n_poly.h>void n_bpoly_mod_mul_series(n_bpoly_t A, const n_bpoly_t B, const n_bpoly_t C, slong order, nmod_t ctx)sourcevoid n_bpoly_mod_divrem_series(n_bpoly_t Q, n_bpoly_t R, const n_bpoly_t A, const n_bpoly_t B, slong order, nmod_t ctx)sourceMultiplication, and division with remainder in x, with all coefficients A_i(y) truncated modulo y^{\mathit{order}} (arithmetic in (\mathbb{F}_p[y]/(y^{\mathit{order}}))[x], used in Hensel lifting). The leading coefficient of B must be invertible.
Cite this page
The FLINT team, “n_bpoly_mod_mul_series, n_bpoly_mod_divrem_series (n_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/n_poly/n_bpoly_mod_mul_series.html (generated 2026-10-20).
@misc{flint-doc-n-poly-n-bpoly-mod-mul-series,
author = {{The FLINT team}},
title = {{n\_bpoly\_mod\_mul\_series, n\_bpoly\_mod\_divrem\_series (n\_poly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/n_poly/n_bpoly_mod_mul_series.html},
note = {Generated 2026-10-20}
}