Updates:
Summary: ask(pi, exp(rational), etc., Q.algebraic) should return False
Labels: Polynomial Assumptions
Comment #10 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
From the pull request:
"This should be done, I think, but it should use Q.algebraic (i.e., the new
assumptions), which is already implemented for algebraic numbers.
Also, it's wrong to make Number and NumberSymbol algebraic by default (it
should be None by default). Also, it is not known if Euler's gamma
constant is algebraic or not (see
http://en.wikipedia.org/wiki/Euler%27s_gamma_constant#Properties)."
I never realized that ask(expr, Q.algebraic) was never backported to the
old assumptions. Let's go ahead and just do it in the new ones only.
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to sympy-issues@googlegroups.com.
To unsubscribe from this group, send email to
sympy-issues+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en.
