What's your idea to include assumptions in pattern matching?
I have some hypothetical uses:
1. a = Wild('a', assumptions=[Q.is_positive])
2. a = Wild('a'); a & Q.is_positive(a)
3. expr.match(expr2, assumptions= ... )
Any better ideas?
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy.
For more options, visit https://groups.google.com/groups/opt_out.
