Add is_algebraic assumption

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

``exp(q*pi)`` is transcendental for any ``q`` rational different from zero; in fact  ``exp(q*pi) = a``, ``a`` algebtraic
would give ``exp(pi)`` = a**(1/q)`` algebraic.