Comment #2 on issue 2696 by smi...@gmail.com: Assumptions fail for
non-commutative symbols
http://code.google.com/p/sympy/issues/detail?id=2696
in facts.py it says
rules: {} of a -> [b, c, ...]
return: {} of c <- [a, b, ...]
Note however, that this prerequisites may be *not* enough to prove a
fact. An example is 'a -> b' rule, where prereq(a) is b, and
prereq(b)
is a. That's because a=T -> b=T, and b=F -> a=F, but a=F -> b=?
The prereqs traversed for is_irrational (after obtianing a correct None
from Mul.is_irrational) are integer, even, odd, all of which are False. The
conclusion returned is False. So perhaps the above applies?
--
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.
