Comment #8 on issue 2389 by asmeurer: Semantic inconsistency between Basic.__contains__ and Tuple.__contains__
http://code.google.com/p/sympy/issues/detail?id=2389

I talked to Mateusz about this at SciPy, and he thinks, and I agree, that a in b should be equivalent to a in b.args. in other words, Basic.__contains__ should look something like

def __contains__(self, other):
    return other in self.args

And has() should handle all the "smarter" mathematical containing (like x*y in x*y*z), using __contains__ at the base level. This is also very highly tied in with the restructuring of replace, subs, and match.

--
You received this message because you are subscribed to the Google Groups 
"sympy-issues" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sympy-issues?hl=en.

Reply via email to