On Saturday, July 19, 2014 9:30:34 PM UTC+2, F. B. wrote:
> > Consider the wild *a_.* in the expression above. *a_* would be an > ordinary wild, while the dot tells you that if there is no match for *a_* > in the expression, than *a_ *should be matched as the identity element of > operation, that is: zero for addition, one for multiplication, one for > exponents. > The point is, I think this behaviour would be better specified as *a.match_identity_element_if_missing()* rather by an assumption, say *Q.match_identity_element_if_missing(a)*. Another one are wild sequences: if you like to specify that a wild matches an entire sequence of nodes, rather than just one node. This should not be an assumption. In Mathematica this is expressed by two underscores after the wild symbol. -- 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 sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/4c3a99f6-6f4f-48f3-abee-c60b1e4dc00c%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.