Hermite–Korkine–Zolotarev lattice basis reduction algorithm