https://am-press.github.io/posts/maths/division-multivariate-polynomials/