Comment #11 on issue 1736 by smi...@gmail.com: Refactor pattern matching
and substitution
http://code.google.com/p/sympy/issues/detail?id=1736
Here is another case where (I assume) that the wrong term is being matched
first so the match fails:
a,x,y
(a, x, y)
yy,aa,xx=symbols('yy aa xx', cls=Wild)
eq
Or(And(Not(y), a), And(x, y))
Try to match this to exactly the same expression with Wilds replacing the
Symbols
print eq.match(Or(And(Not(yy), aa), And(xx, yy)))
None
The only reason I can imagine that this failed is that the And(xx, yy) was
matched to the And that contained the Not in eq.
--
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.
