Refactored polyDiv as a function. Also, it now uses sympy polynomials.