FLINT3.7.0-dev

fmpz_lll_d, fmpz_lll_d_with_removal

Synopsis#include <flint/fmpz_lll.h>
int fmpz_lll_d(fmpz_mat_t B, fmpz_mat_t U, const fmpz_lll_t fl)source
int fmpz_lll_d_with_removal(fmpz_mat_t B, fmpz_mat_t U, const fmpz_t gs_B, const fmpz_lll_t fl)source

L² with Gram–Schmidt data in double precision, the basis vectors being approximated by double vectors scaled by powers of two. Uses the fast Babai procedure (fmpz_lll_check_babai), switching to the heuristic one for one iteration after 50 failures. Fails, returning -1, if the precision is insufficient or an iteration limit is reached.

Cite this page

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