On 30/04/2020 19:18, Oscar Benjamin wrote:
In 1.5 it just gives a nonsense object:
In [1]: Eq(x, y) + Eq(z, t)
Out[1]: (x = y) + (z = t)
However, it should surely be valid to add an equation to an expression:
>>> Eq(a-3,b-3)+3
3 + Eq(a-3,b-3)
>>> simplify(3 + Eq(a - 3, b - 3))
3 + Eq(a - 3, b - 3)
Obviously I thought that would produce Eq(a,b)
At 1.5 the addition happens but the result doesn't simplify in the
obvious way. Is there a rational to that? From what you say, I suspect
this construct will also be banned at 1.6, but it seems perfectly
meaningful.
David
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/645e3ca5-267d-5368-b0e8-9837a7e47598%40dbailey.co.uk.