Polynomial division and its computational complexity