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 and of scaled by powers of two. If cancellation is detected (the square of the result is at most times the product of the squared norms), the dot product of the rows of is computed exactly instead and returned scaled by , 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-11-02).
@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-11-02}
}