Add is_algebraic assumption

for some other changes in sympy.polys - see #7898