Implement Polynomial Division in univariate case, with just one bug to fix