Change to an improved version of CVP
@dvarjas implemented an improved solution to the closest vector problem in system2@2027c9e0 that we should integrate into Kwant.
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
cvp
function from system2@2027c9e0 - Add an
n
parameter, and modify the logic to return then
closest vectors, not just the vectors that are equidistant