Lattices and Quadratic Forms

Magma implements state-of-the-art lattice algorithms - LLL and BKZ reduction, shortest and closest vector algorithms, and sphere enumeration. Quadratic forms over number fields and local fields are fully supported.