FLINT3.7.0-dev

_arb_mat_addmul_rad_mag_fast

Synopsis#include <flint/arb_mat.h>
void _arb_mat_addmul_rad_mag_fast(arb_mat_t C, mag_srcptr A, mag_srcptr B, slong ar, slong ac, slong bc)source

Adds to the radii of C an upper bound for the product of the nonnegative matrices AA (ar×ac\mathit{ar} \times \mathit{ac}, row-major array) and BB (ac×bc\mathit{ac} \times \mathit{bc}, given as a column-major array). The exponents of all entries must be small (this is not checked), which arb_mat_mul_block ensures. Products are computed in double precision when the exponent range permits and the result is multiplied by 1+2.01(ac+1)2−521 + 2.01(\mathit{ac} + 1) 2^{-52} to account for rounding errors.

Cite this page

The FLINT team, “_arb_mat_addmul_rad_mag_fast (arb_mat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/arb_mat/_arb_mat_addmul_rad_mag_fast.html (generated 2026-11-02).