keeganryan / flatter

Fast lattice reduction
GNU Lesser General Public License v3.0
170 stars 18 forks source link

Heuristic3 Assertion failed? #17

Open fffmath opened 6 months ago

fffmath commented 6 months ago

Hi, flatter is really fast, thank you very much for this job. It's great, but I encountered the following problem when dealing with the coppersmith lattice. When the parameter m is small, there is no problem, but when m is large, I encountered this. Is this also related to insufficient memory? If not, how can I avoid it. Note: I am using an upper triangular matrix.

flatter: /flatter/src/problems/lattice_reduction/heuristic_3.cpp:328: virtual void flatter::LatticeReductionImpl::Heuristic3::collect_U(): Assertion `mpz_cmp_ui(dU_iter(i,j), 0) == 0' failed.
Command '['flatter']' died with <Signals.SIGABRT: 6>.