Comment #5 on issue 2574 by [email protected]: Wrong assumptions for LambertW(-1)
http://code.google.com/p/sympy/issues/detail?id=2574
It's used to check that applying evalf() allows to get definite answers for comparisons like 'expr > 0' or, equivalently, 'expr.is_positive'. However, sympy.core.relational uses "expr.is_real and expr.is_number" for the same purpose.
-- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy-issues?hl=en.
