On Thursday, September 26, 2013 8:39:28 PM UTC+2, Ondřej Čertík wrote: > > On Thu, Sep 26, 2013 at 11:45 AM, F. B. <[email protected] <javascript:>> > 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.
Match expression with Wild "a" if the resulting expression is positive. That means, "a" matches "3" but not "-2". Should this assumption be specified in Wild, in the pattern matching expression, or in the *.match( )* method? Or any other idea? -- 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.
