_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)sourceAdds to the radii of C an upper bound for the product of the nonnegative matrices A (\mathit{ar} \times \mathit{ac}, row-major array) and B (\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(\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-10-20).
@misc{flint-doc-arb-mat-arb-mat-addmul-rad-mag-fast,
author = {{The FLINT team}},
title = {{\_arb\_mat\_addmul\_rad\_mag\_fast (arb\_mat.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/arb_mat/_arb_mat_addmul_rad_mag_fast.html},
note = {Generated 2026-10-20}
}