Status: Accepted
Owner: smi...@gmail.com
Labels: Type-Defect Priority-Medium

New issue 2322 by smi...@gmail.com: is_real problems with (pi/log(real))
http://code.google.com/p/sympy/issues/detail?id=2322

Both the old and new assumption system have problems with this:

    h[1] >>> var('r', real=True)
    r
    h[2] >>> (pi/log(r)).is_real                 # this is wrong
    True
    h[3] >>> (pi/log(r)).subs(r,-2).is_real      # this is wrong
    True
    h[3] >>> (pi/log(r)).subs(r,-2).n().is_real
    False
    h[4] >>> ask(pi/log(r), Q.real)
    h[4] >>> ask((pi/log(r)).subs(r,-2), Q.real) # this is wrong
    True
    h[4] >>> ask((pi/log(r)).subs(r,-2).n(), Q.real)
    False

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