Martin R. Albrecht
Martin R. Albrecht
I'm on Sage 9.8 and the example seems to work, so I can't reproduce.
Agreed, can you prepare a pull request?
Something seems off about your example? But wouldn't this also be solved by documenting "pick the lowest of these"? I'm mostly concerned that if we make it "too easy" then...
Do we think this would make much of a difference since we already list `rop` first? I honestly don't know! Maybe other people would like to chime in on this...
Okay, looks like we should update to Chen 13 extreme, right?
Chen13 seems to match what we got for FPLLL: `~= 1/2e*beta*log(beta) - beta + 16`
`log(beta)` vs `log(beta, 2)` :)
I vote for just renaming it, I don't want to guarantee the API (just yet)
Yeah, I think that's a good idea, but I'd keep it at the documentation level
Ideally, the estimate would complete in a reasonable amount of time, so I consider this a bug. It might be useful to put things on the deny list to figure...