On Thu, Sep 26, 2013 at 11:45 AM, F. B. <[email protected]> wrote: > What's your idea to include assumptions in pattern matching? > > I have some hypothetical uses: > > a = Wild('a', assumptions=[Q.is_positive]) > a = Wild('a'); a & Q.is_positive(a) > expr.match(expr2, assumptions= ... )
What difference would it make? It seems to me that "a" is just "a", no matter what assumptions are on it. I might be missing something. Ondrej -- 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.
