polynomial division