fpylll
fpylll copied to clipboard
svp_preprocessing not removing linear dependences
The python implementation of bkz does not check if there are linear dependences in M.B. This can cause DivisionByZero exceptions when pruning.
Attached is a basis having this problem.
I think this should be handled at https://github.com/fplll/fpylll/blob/master/src/fpylll/algorithms/bkz.py#L81 but the same argument applies