Comment #20 on issue 2848 by pr...@goodok.ru: Failing test in sympy/solvers/test/test_solvers.py
http://code.google.com/p/sympy/issues/detail?id=2848

Yes, this passes in the above patch.

But patch only cut off problem and therefore hide possible bug in the complicated algorithm of auto calculation of assumptions (it based on rules system, so is_positive calculation if is not defined try to calculate through others known assumptions facts):

a)

from sympy.core.cache import clear_cache
clear_cache()
(I*pi).is_positive
False          # in both branches

But

b)
clear_cache()
(I*pi).is_irrational
False   # True in master branch

Then after cached of  is_irrational all other behaviour id changed:

c)
clear_cache()
(I*pi).is_irrational
False                 # but True in master branch
(I*pi).is_positive
False             # but True in master branch

Compare a) and c)

--
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.

Reply via email to