Comment #13 on issue 2696 by asmeu...@gmail.com: Assumptions fail for
non-commutative symbols
http://code.google.com/p/sympy/issues/detail?id=2696
I would be interested to know, where in the code does real imply
commutative.
Well, where this bug manifests itself for one thing :)
This sort of thing is tricky, because a lot of it is just implicit
assumptions about how things work. That's why we should really fix issue
2196.
Another thing that is assumed by real=True is comparable=True. In other
words, it is assumed that you have a < b, a > b or a == b for any two real
a and b. This is only true if a and b are real numbers (not matrices or
operators or anything).
I suppose could consider Hermitian operators to be "real", since they act
very similarly to real numbers in most contexts. In many cases, you could
probably get sympy to do what you want for such an operator by using a
Symbol that is assumed to be real.
MatrixSymbol is still relatively new, so there are many things that aren't
implemented yet. Feel free to open issues as you see fit.
--
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.
