arb_poly_divrem
#include <flint/arb_poly.h>int arb_poly_divrem(arb_poly_t Q, arb_poly_t R, const arb_poly_t A, const arb_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, “arb_poly_divrem (arb_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/arb_poly/arb_poly_divrem.html (generated 2026-10-20).
@misc{flint-doc-arb-poly-arb-poly-divrem,
author = {{The FLINT team}},
title = {{arb\_poly\_divrem (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_divrem.html},
note = {Generated 2026-10-20}
}