#1161 (Oct 12, 2017, 9:29:10 PM)

1. clarified the "defining" entry of sessions, to avoid cyclic dependency of Jordan_Normal_Form vs. Polynomial_Factorization; (detail / hgweb)
2. reduced to actual session dependencies; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.2 sec waiting;
• 31 min build duration;
• 31 min total from scheduled to completion.