Status: Accepted
Owner: ronan.l...@gmail.com
Labels: Type-Defect Priority-High Assumptions Python3 WrongResult

New issue 2574 by ronan.l...@gmail.com: Wrong assumptions for LambertW(-1)
http://code.google.com/p/sympy/issues/detail?id=2574

With master:

In [1]: LambertW(-1).is_comparable
Out[1]: True

In [2]: LambertW(-1).is_positive
Out[2]: True

In [3]: LambertW(-1)._assumptions
Out[3]: {commutative: True, comparable: True, complex: True, imaginary: False, negative: False, nonnegative: True, nonpositive: False, nonzero: True, positive: True, real: True, zero: False}

In [4]: LambertW(-1).evalf()
Out[4]: -0.318131505204764 + 1.33723570143069⋅ⅈ

The root issue is the first line: LambertW(-1).is_comparable == True. This is particularly problematic in the Python3 port, because it causes LambertW(-1).is_positive to raise.

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