Exercise 2.91: Define div-poly