Add is_algebraic assumption

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

No.  Most likely, he was about `e + pi` or something.

It's easy to prove that `sqrt(3) + pi = q` is not rational.  Suppose it is, then `q - sqrt(3)` is algebraic, thus `pi` is algebraic too...