Comment #8 on issue 1878 by jensen.oyvind: For non-commutative symbols all comparisons evaluate to False
http://code.google.com/p/sympy/issues/detail?id=1878
Interesting. So being negative can be more general than being a negative real number then. Just for fun I tried removing the rules for positive/negative => real, and the tests were encouraging! 2 xpass (in simplify and solvers), only 10 fails and
2 exceptions. Here are the changes I did: diff --git a/sympy/core/assumptions.py b/sympy/core/assumptions.py index 73702c8..c59f746 100644 --- a/sympy/core/assumptions.py +++ b/sympy/core/assumptions.py @@ -105,11 +105,11 @@ class AssumeMeths(object): 'real == negative | zero | positive', - 'positive -> real & !negative & !zero', - 'negative -> real & !positive & !zero', + 'positive -> !negative & !zero', + 'negative -> !positive & !zero', - 'nonpositive == real & !positive', - 'nonnegative == real & !negative', + 'nonpositive == !positive', + 'nonnegative == !negative', 'zero -> infinitesimal & even', -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings -- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to sympy-iss...@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.