FLINT3.7.0-dev
/

_decball_dot2

Synopsis#include <flint/decimal.h>
int _decball_dot2(decball_t res, const decball_t x1, const decball_t y1, const decball_t x2, const decball_t y2, int subtract, slong prec, gr_ctx_t ctx)source

Sets res to a ball containing x_1 y_1 \pm x_2 y_2, with the midpoint computed as the correctly rounded exact product sum of the midpoints.

Cite this page

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