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.

Reply via email to