arb_mat_spd_lll_reduce
Synopsis
#include <flint/arb_mat.h>void arb_mat_spd_lll_reduce(fmpz_mat_t U, const arb_mat_t A, double delta, double eta, slong prec)sourceGiven a symmetric positive definite matrix A, sets U to an invertible integer matrix such that U A U^T is close to being LLL-reduced with the parameters \delta, \eta: if arb_mat_spd_get_fmpz_mat succeeds at precision prec, fmpz_lll is applied to the rounded Gram matrix, and otherwise U is the identity. If A is not finite, U is not modified.
Cite this page
The FLINT team, “arb_mat_spd_lll_reduce (arb_mat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/arb_mat/arb_mat_spd_lll_reduce.html (generated 2026-10-20).
@misc{flint-doc-arb-mat-arb-mat-spd-lll-reduce,
author = {{The FLINT team}},
title = {{arb\_mat\_spd\_lll\_reduce (arb\_mat.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/arb_mat/arb_mat_spd_lll_reduce.html},
note = {Generated 2026-10-20}
}