Update sympy/polys/polytools.py