FLINT3.7.0-dev

arb_approx_dot

Synopsis#include <flint/arb.h>
void arb_approx_dot(arb_t res, const arb_t initial, int subtract, arb_srcptr x, slong xstep, arb_srcptr y, slong ystep, slong len, slong prec)source

Computes the same dot product without error bounds: only the midpoints of the inputs are read and only the midpoint of res is written, using arf_approx_dot. Useful for approximate (floating-point) algorithms such as iterative refinement.

Cite this page

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