Polynomial division