#504 (Oct 28, 2016, 5:44:11 PM)

1. merge (detail / hgweb)
2. removed axiomatization, integrated distinct-degree-factorization as optional (detail / hgweb)
3. tuned docu (detail / hgweb)
4. manual merge (detail / hgweb)
5. integrated distinct degree factorization into finite field factorization algorithm (detail / hgweb)

Started by an SCM change

This run spent:

• 8.4 sec waiting;
• 1 hr 18 min build duration;
• 1 hr 19 min total from scheduled to completion.