Comment #16 on issue 1077 by asmeurer: ask(pi, exp(rational), etc., Q.algebraic) should return False
http://code.google.com/p/sympy/issues/detail?id=1077
I just realized another reason why expanding this could be useful. We know that things like log(rational) are always transcendental. But transcendental implies not rational, so just by adding ~Q.algebraic(log(rational)), we could get the answer to ask(Q.rational(log(rational))) (i.e., False), to use Ronan's new notation.
-- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy-issues?hl=en.
