A library for LLL-reduction of Euclidean lattices
