Comment #2 on issue 3052 by [email protected]: evaluating Abs should result in a positive number
http://code.google.com/p/sympy/issues/detail?id=3052
This is related to issue 3060 -- the use of evalf() to make decisions. evalf() is also being used in the assumptions system to determine positive/negative or comparable quantities. The use of the function numerical_zero, I believe, would be a more robust method of detecting things (like this expression) that are actually hidden numerical zeros. It's a different way of detecting these sorts of expressions without resorting to an absolute error. I would be very interested if anyone can come up with an expression that can sneak by the algorithm.
see https://github.com/sympy/sympy/pull/1036 for the algorithm -- 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.
