FLINT3.7.0-dev

_d_vec_dot

Synopsis#include <flint/d_vec.h>
double _d_vec_dot(const double * vec1, const double * vec2, slong len2)source

Returns the dot product of the two vectors, accumulated from left to right in double precision. The error is bounded by \gamma_{n} \sum_i |x_i y_i| with \gamma_n = n u/(1 - n u), u = 2^{-53} and n the length, barring overflow and underflow [MBD2018].

References#

  • [MBD2018] J.-M. Muller, N. Brunie, F. de Dinechin, C.-P. Jeannerod, M. Joldes, V. Lefèvre, G. Melquiond, N. Revol and S. Torres, Handbook of Floating-Point Arithmetic, second edition, Birkhäuser (2018), https://doi.org/10.1007/978-3-319-76526-6
Cite this page

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