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.
