Summary
- renamed thms to avoid name clashes
- fix document preparation
- update metadata
- more readable constructors for multivariate polynomials
- updates by Alexander Maletzky: restructured dgrad_p_set dgrad_p_set_le; split theories Reduction and Buchberger_Algorithm off Groebner_Bases
- more updates and generalizations by Alexander Maletzky: prefer gd_powerprod, added criteria to improve efficiency of gbaux
- renaming and moving theories about polynomials
- type fmap for implementation of type poly_mapping
- updates and generalizations by Alexander Maletzky
- perspective projection