Polynomial.polynomialDivision -> Polynomial.divide
Polynomial pseudo-division
Polynomial: extendedGcd reimplemented on top of new halfExtendedGcd
Polynomial: diophantine extended euclidean/gcd
Partial fraction decomposition (plumbing, wip)