Updates:
Labels: Assumptions
Comment #3 on issue 2848 by asmeu...@gmail.com: Failing test in
sympy/solvers/test/test_solvers.py
http://code.google.com/p/sympy/issues/detail?id=2848
The problem is with logcombine. For some reason, we sometimes get:
In [106]: (log(2) + I*pi).is_positive
Out[106]: True
leading to
In [105]: logcombine(-sqrt(x)*sqrt(-log(log(2)) + log(log(2) + I*pi)))
Out[105]:
___________________
___ ╱ ⎛log(2) + ⅈ⋅π⎞
-╲╱ x ⋅ ╱ log⎜────────────⎟
╲╱ ⎝ log(2) ⎠
Which is wrong (logs only combine if their args are positive). I think the
solution is still right because the exponential puts us back on the right
branch, but the above assumptions result is wrong.
--
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.