#684 (Jan 9, 2017, 7:38:03 PM)

1. merged (detail / hgweb)
2. fix problems because of "surj" input abbreviation; tuned (detail / hgweb)
3. hide global sum (detail / hgweb)
4. gcd/lcm on finite sets (detail / hgweb)
5. moved some lemmas to appropriate places (detail / hgweb)
6. slightly generalized type class hierarchy concerning unit factors, to allow for lean polynomial normalization (detail / hgweb)

Started by an SCM change (2 times)

This run spent:

• 5 min 1 sec waiting;
• 1 hr 32 min build duration;
• 1 hr 37 min total from scheduled to completion.