Can we assume that divisor will always be monic (have the coefficient of largest x exponent equal to 1)? Otherwise the quotient need not have integer coefficients. For example, what to do in checkio(["xx","2x"])? The formal result is x/2, but it doesn't have the above form.