https://doc.sagemath.org/html/en/reference/modules/sage/modules/free_module_integer.html#sage.modules.free_module_integer.FreeModule_submodule_with_basis_integer.shortest_vector

Documentation for IntegerLattice.shortest_vector is not clear whether it will return an exact SVP solution or an approximate SVP solution; unlikes approximate_closest_vector and closest_vector.

Checklist

• I have searched the existing issues for a bug report that matches the one I want to file, without success.
• I have read the documentation and troubleshoot guide