I'm wondering how to make the following work:
In: x, y = symbols('x y')
In: Eq(x, y)
Out: Eq(x, y)
In: Eq(x, x)
Out: True
It seems that it just require something like an
if a == b: True else Eq(a,b)
test, perhaps right in the __new__ generator of Relational. I don't know
what the policy is on calling simplify() to test for zero / nonzero
difference between the two sides, but if a zero is found, then any of the
relations give an immediate result. There are also some number theoretic
results involving valid variable ranges that could immediately simplify
symbolic comparisons.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To view this discussion on the web visit
https://groups.google.com/d/msg/sympy/-/Kq24S46MI-gJ.
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?hl=en.
