Add is_algebraic assumption

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

So more generally, `transcendental**(nonzero rational) = transcendental`.