FLINT3.7.0-dev

_decball_add_rounding_error

Synopsis#include <flint/decimal.h>
void _decball_add_rounding_error(decball_t res, const decimal_rounding_info * info, const decmag_t precise_err, slong prec, gr_ctx_t ctx)source

Add the rounding error of a midpoint operation, described by info and the tight bound precise_err, to the radius of res: the tight bound, or one ulp at prec digits (half an ulp for the nearest modes) with DECIMAL_SLOPPY_RADIUS.

Cite this page

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