`arb_mat_spd_is_lll_reduced`

Synopsis#include <flint/arb_mat.h>

int arb_mat_spd_is_lll_reduced(const arb_mat_t A, double delta, double eta, slong prec)source

Given a symmetric positive definite matrix $A$ (only the lower triangle is read; neither property is checked), returns nonzero if $A$ is certainly LLL-reduced for the parameters $\delta$ , $\eta$ as a Gram matrix: the Gram–Schmidt coefficients satisfy $|\mu_{j,k}| \le \eta$ and $\delta \|b_{k-1}^*\|^2 \le \|b_k^*\|^2 + \mu_{k,k-1}^2 \|b_{k-1}^*\|^2$ .

Cite this page

The FLINT team, “arb_mat_spd_is_lll_reduced (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_is_lll_reduced.html (generated 2026-11-02).

@misc{flint-doc-arb-mat-arb-mat-spd-is-lll-reduced,
  author       = {{The FLINT team}},
  title        = {{arb\_mat\_spd\_is\_lll\_reduced (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_is_lll_reduced.html},
  note         = {Generated 2026-11-02}
}

Edit this page · PDF version · Built with fdoc from 0a4634bf95