arf_approx_dot
Synopsis
#include <flint/arf.h>void arf_approx_dot(arf_t res, const arf_t initial, int subtract, arf_srcptr x, slong xstep, arf_srcptr y, slong ystep, slong len, slong prec, arf_rnd_t rnd)sourceComputes the same dot product as arf_dot approximately: the final rounding is in the direction rnd, but the intermediate roundings are not specified, so neither correct rounding nor an error bound is guaranteed. It uses the fixed-point accumulation of arb_dot without the error bound, and is the midpoint computation of arb_approx_dot.
Cite this page
The FLINT team, “arf_approx_dot (arf.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/arf/arf_approx_dot.html (generated 2026-10-20).
@misc{flint-doc-arf-arf-approx-dot,
author = {{The FLINT team}},
title = {{arf\_approx\_dot (arf.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/arf/arf_approx_dot.html},
note = {Generated 2026-10-20}
}