FLINT3.7.0-dev

arf_mag_add_ulp, arf_mag_fast_add_ulp

Synopsis#include <flint/arf.h>
void arf_mag_add_ulp(mag_t z, const mag_t x, const arf_t y, slong prec)source
void arf_mag_fast_add_ulp(mag_t z, const mag_t x, const arf_t y, slong prec)source

Set z to an upper bound for x + 2^{e - \mathit{prec}}, with e the exponent of y. This adds the rounding error of a prec-bit operation with result y to the radius x. The fast version requires small exponents; the other raises an exception for a special y.

Cite this page

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