fmpz_lll_check_babai, fmpz_lll_check_babai_heuristic_d
Synopsis
#include <flint/fmpz_lll.h>int fmpz_lll_check_babai(int kappa, fmpz_mat_t B, fmpz_mat_t U, d_mat_t mu, d_mat_t r, double * s, d_mat_t appB, int * expo, fmpz_gram_t A, int a, int zeros, int kappamax, int n, const fmpz_lll_t fl)sourceint fmpz_lll_check_babai_heuristic_d(int kappa, fmpz_mat_t B, fmpz_mat_t U, d_mat_t mu, d_mat_t r, double * s, d_mat_t appB, int * expo, fmpz_gram_t A, int a, int zeros, int kappamax, int n, const fmpz_lll_t fl)sourceSize reduction in double precision, with plain floating-point dot products, respectively with fmpz_lll_heuristic_dot.
Cite this page
The FLINT team, “fmpz_lll_check_babai, fmpz_lll_check_babai_heuristic_d (fmpz_lll.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_lll/fmpz_lll_check_babai.html (generated 2026-10-20).
@misc{flint-doc-fmpz-lll-fmpz-lll-check-babai,
author = {{The FLINT team}},
title = {{fmpz\_lll\_check\_babai, fmpz\_lll\_check\_babai\_heuristic\_d (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_check_babai.html},
note = {Generated 2026-10-20}
}