FLINT3.7.0-dev

arf_dot

Synopsis#include <flint/arf.h>
int arf_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)source

Sets res to s+(−1)subtract∑i=0len−1xiyis + (-1)^{\mathit{subtract}} \sum_{i=0}^{\mathit{len}-1} x_i y_i with a single rounding, where ss is initial (0 if initial is NULL) and the entries are read with strides xstep and ystep. Returns the inexact flag.

The products are formed exactly and summed with arf_sum. This is a reference implementation, not optimised for speed; arf_approx_dot and arb_dot are much faster.

Guides#

Cite this page

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