of n linearly independent vectors b1, . . . ,bn ∈ Rm in m-dimensional Euclidean space. For computational purposes, the lattice vectors b1, . . . ,bn are often assumed to have integer (or rational) entries, so that the lattice can be represented by an integer matrix B = [b1, . . . ,bn] ∈ Zm×n (called basis) having the generating vectors as columns. Using matrix notation, lattice points in L(B) c...