fpylll icon indicating copy to clipboard operation
fpylll copied to clipboard

svp_preprocessing not removing linear dependences

Open hideov opened this issue 8 years ago • 1 comments

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.

example.zip

hideov avatar Mar 30 '17 19:03 hideov

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

malb avatar Mar 30 '17 20:03 malb