Comment #7 on issue 2696 by ronan.l...@gmail.com: Assumptions fail for non-commutative symbols
http://code.google.com/p/sympy/issues/detail?id=2696
There's still the issue of x.is_irrational returning None instead of False, and also the fact that inconsistent assumptions are allowed, like Symbol('x', real=True, commutative=False).
Concerning is_irrational, I think that this kind of negative assumption is more confusing than helpful. Testing for not rational is easy: 'if not x.is_rational: ...' so rather than making irrational == not rational, it would be simpler to remove it altogether.
-- 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.