acb_poly_divrem
#include <flint/acb_poly.h>int acb_poly_divrem(acb_poly_t Q, acb_poly_t R, const acb_poly_t A, const acb_poly_t B, slong prec)sourceComputes Q and R with A = BQ + R and \deg R < \deg B, and returns nonzero. If B is zero or its leading coefficient contains zero, returns zero and leaves Q and R unchanged.
The quotient is computed by reversing the operands and dividing them as power series (Newton iteration for power series and division), and the remainder as A - BQ from the low \deg B coefficients of the product. The enclosures contain the exact quotient and remainder for every pair of polynomials in the input balls (all of which have the degrees of A and B, since the leading coefficient of B excludes zero).
The FLINT team, “acb_poly_divrem (acb_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/acb_poly/acb_poly_divrem.html (generated 2026-10-20).
@misc{flint-doc-acb-poly-acb-poly-divrem,
author = {{The FLINT team}},
title = {{acb\_poly\_divrem (acb\_poly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/acb_poly/acb_poly_divrem.html},
note = {Generated 2026-10-20}
}