Comment #7 on issue 3601 by [email protected]: SymPy Stats should assume
expressions are equal to zero
http://code.google.com/p/sympy/issues/detail?id=3601
I don't remember anyone being confused by solve, but I guess I could see
it. Anyway, it would definitely be consistent with the rest of SymPy.
Something like Q.is_true(x - 1) would be confusing, though, so I guess it
isn't universally applicable.
Regarding ==, the problem is that we already heavily use == in the more
pythonic sense, to return True or False depending on if the two expressions
are structurally equal. Almost all of our tests look like
assert something == something_else
for example. It's also used heavily in library code. On the other hand,
instance where you want to express Eq(a, b) are far more rare, especially
when you can generally work with a - b just as effectively, if not better.
For example, the first thing solve does if you pass it an Eq is to subtract
one side from the other and work with that.
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" 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-issues?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
