Automate Polynomial: An Experiment in Reflection for Polynomials

4 Multivariate System

Current work focuses on generalizing the capabilities of the system for univariate polynomials to a system for multivariate polynomials. Progress on this system is available in the feature/mvpoly branch.