Change to an improved version of CVP
It is "improved" in the sense that it can be proven to be correct, which is not the case for the current algorithm.
The following need to be done:
- Copy over the
cvpfunction from system2@2027c9e0
- Add an
nparameter, and modify the logic to return the
nclosest vectors, not just the vectors that are equidistant