DEPRECATED Dividing polynomials by binomials 1

Taken down in 2015 for quality reasons.