In addition to Mathics, you could look at MockMMA, free of license restrictions, written in Lisp. Also, the syntactic sugar for patterns in Mathematica goes rather further than x_ for a start, there is x__ and x___. Then there are restrictions on the Head[] of the item matched. Then there are predicates that can be associated with an item, e.g. x_Integer?OddQ and pattern matching obeys a bunch of attributes of operators.
Certainly mimicking the Mathematica pattern matcher would be a potential selling point for sympy. Inventing a new and different one, eh. If you were clever enough to do something better, you might win. Who knows. If you do something worse, (whatever that might mean), probably not such a good selling point. Though of course, things being what they are, you could have two, three, four .... pattern matchers written. RJF -- 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/34c46363-a53b-48c6-88d0-efea10b10178%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.