Add is_algebraic assumption

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

> So more generally, transcendental**(nonzero rational) = transcendental. 

that was handled already in power.py