How to solve a division of polynomials