It seems to be a bug.
As shown in the figure, the computed closest vector is not in the lattice.

For copy-paste convenience, see the following.
from sage.modules.free_module_integer import IntegerLattice
L = Matrix(ZZ,[[20957228, -4966110],[ 9411844, 19625639]])
L = IntegerLattice(L)
targ = Matrix([-10663326362211/114509810943883, -453593624348888995904502033
/114509810943883])
v0 = Matrix([-423434678248195, -18882583298608161305227077482])
cv = L.closest_vector(targ-v0)
print(cv in L)

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/f4f6fc4d-a2ff-4c78-b614-49571d18a3aeo%40googlegroups.com.

Reply via email to