#1357 (Jan 24, 2018, 1:56:11 PM)

1. renamed thms to avoid name clashes (detail / hgweb)
2. fix document preparation (detail / hgweb)
3. update metadata (detail / hgweb)
4. more readable constructors for multivariate polynomials (detail / hgweb)
5. updates by Alexander Maletzky: restructured dgrad_p_set dgrad_p_set_le; split theories Reduction and Buchberger_Algorithm off Groebner_Bases (detail / hgweb)
6. more updates and generalizations by Alexander Maletzky: prefer gd_powerprod, added criteria to improve efficiency of gbaux (detail / hgweb)
7. renaming and moving theories about polynomials (detail / hgweb)
8. type fmap for implementation of type poly_mapping (detail / hgweb)
9. updates and generalizations by Alexander Maletzky (detail / hgweb)
10. perspective projection (detail / hgweb)

Started by an SCM change

This run spent:

• 6.2 sec waiting;
• 1 hr 40 min build duration;
• 1 hr 40 min total from scheduled to completion.