This project deals with introducing much needed functionality to the SymEngine polynomial module. It improves upon the already existing univariate polynomial class, and also implementing a new multivariate polynomial class. Along the way, I also want to implement classes for rational coefficients for both these classes, and benchmark their performance against the integer class.
Also, as discussed with the potential mentors, polynomial manipulation should also be provided by dedicated polynomial libraries like FLINT & Piranha. So, I propose to implement interfaces with these libraries, to use the functions they provide.
Rest of the details are explained in the project proposal.