pub fn lll_reduce_bigint_exact(basis: &[Vec<BigInt>]) -> Vec<Vec<BigInt>>Expand description
Exact integer LLL (Cohen, A Course in Computational Algebraic Number Theory, Algorithm 2.6.3): the
Gram–Schmidt quantities are tracked as EXACT integers (the sub-determinants dᵢ and the scaled
coefficients λᵢⱼ = dⱼ·μᵢⱼ), with Bareiss-style exact division — no floating point (so no precision
loss on high-dynamic-range lattices) and no rationals (so no coefficient blow-up). This is the
trustworthy reduction the Boneh–Durfee independence diagnosis needs.