FLINT3.7.0-dev

_arb_poly_addmulmid_mag

Synopsis#include <flint/arb_poly.h>
void _arb_poly_addmulmid_mag(mag_ptr z, mag_srcptr x, slong xlen, mag_srcptr y, slong ylen, slong nlo, slong nhi, const fmpz_t scale)source

Adds to {z, nhi - nlo} upper bounds for the coefficients of x^{\mathit{nlo}}, \ldots, x^{\mathit{nhi}-1} of the product of the polynomials {x, xlen} and {y, ylen} with nonnegative mag_t coefficients. The operands are split into blocks after the substitution x \to 2^{-\mathit{scale}} x, as the radii in _arb_poly_mulmid_block. This bounds the radii in _acb_poly_mulmid_fmpzi.

Cite this page

The FLINT team, “_arb_poly_addmulmid_mag (arb_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/arb_poly/_arb_poly_addmulmid_mag.html (generated 2026-10-20).