Symbolic equation has been proposed and discussed since 2020. See #19479 <https://github.com/sympy/sympy/pull/19479> and previous discussion <https://groups.google.com/g/sympy/c/rSi_I42i35I>.
The idea is that Eq should be a boolean relation and Eqn should be symbolic relation. Unlike Eq, Eqn is not evaluated to True or False, and operation between equation such as (x=1) + (y=2) -> (x+y = 3) is possible. Also, there should be a simple way to manipulate the argument(s) of the equation, such as expanding the right hand side while keeping the left hand side intact. In #21325 <https://github.com/sympy/sympy/pull/21325>, the basic structure for equation module is introduced. 1. `apply`, `applylhs`, and `applyrhs` properties are introduced for manipulation of the arguments. See docstring for detailed explanation. 2. `Basic.subs()` method can take equation as argument. For example, `(x*y).subs(x=2)` will return `2*y`. 3. Operations between equations are not implemented yet, in order to keep the diff small. This change needs more review before being merged. Please leave your comment in #21325. Jisoo Song -- 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/117281f9-a42e-4232-97a9-5aede7eb0668n%40googlegroups.com.
