#1450 (Mar 20, 2018, 6:06:26 PM)

1. the norms of the g-vectors during LLL-basis-reduction stay small (detail / hgweb)
2. moved lemma orthocompl_span outside context (detail / hgweb)

Started by an SCM change

This run spent:

• 6.1 sec waiting;
• 6 min 47 sec build duration;
• 6 min 53 sec total from scheduled to completion.