On the computation of lattice vectors of minimal length, successive minima and reduced bases with applications | Synapse