_qqbar_acb_lindep
#include <flint/qqbar.h>int _qqbar_acb_lindep(fmpz * rel, acb_srcptr vec, slong len, int check, slong prec)sourceTries to find an integer vector rel with \sum_i \mathit{rel}_i \mathit{vec}_i \approx 0 using LLL. The working precision is the smaller of prec and the relative accuracy of vec; 95% of the bits go into the LLL matrix and the remaining 5% are used to check the relation by evaluating it in ball arithmetic. If check is set, the return value says whether this check passed; otherwise it says whether the algorithm ran normally (it fails, for example, for non-finite input). A passed check is a heuristic filter against spurious relations, not a proof.
The FLINT team, “_qqbar_acb_lindep (qqbar.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/qqbar/_qqbar_acb_lindep.html (generated 2026-10-20).
@misc{flint-doc-qqbar-qqbar-acb-lindep,
author = {{The FLINT team}},
title = {{\_qqbar\_acb\_lindep (qqbar.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/qqbar/_qqbar_acb_lindep.html},
note = {Generated 2026-10-20}
}