Lenstra–Lenstra–Lovász lattice basis reduction algorithm