#1529 (Apr 19, 2018, 1:29:09 PM)

1. avoid explicit computation of norms in LLL algorithm (detail / hgweb)
2. moved lemmas, improved efficiency of swap-step of LLL (detail / hgweb)

Started by an SCM change

This run spent:

• 6.4 sec waiting;
• 1 hr 2 min build duration;
• 1 hr 2 min total from scheduled to completion.