fmpz_lll_heuristic_dot
Synopsis
#include <flint/fmpz_lll.h>double fmpz_lll_heuristic_dot(const double * vec1, const double * vec2, slong len2, const fmpz_mat_t B, slong k, slong j, slong exp_adj)sourceReturns the dot product of the first len2 entries of the double vectors vec1 and vec2, which approximate rows k and j of B scaled by powers of two. If cancellation is detected (the square of the result is at most 2^{-70} times the product of the squared norms), the dot product of the rows of B is computed exactly instead and returned scaled by 2^{-\mathit{exp\_adj}}, where exp_adj is the sum of the scaling exponents of the two rows.
Cite this page
The FLINT team, “fmpz_lll_heuristic_dot (fmpz_lll.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_lll/fmpz_lll_heuristic_dot.html (generated 2026-10-20).
@misc{flint-doc-fmpz-lll-fmpz-lll-heuristic-dot,
author = {{The FLINT team}},
title = {{fmpz\_lll\_heuristic\_dot (fmpz\_lll.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_lll/fmpz_lll_heuristic_dot.html},
note = {Generated 2026-10-20}
}