Garth, Presently it is not practical to combine them, although we have done some experiments aimed that direction. `Eq` actually represents the logical concept of an equality and evaluates to `True`, `False` or just returns `Eq(lhs, rhs)` if the validity cannot be determined. I, personally, believe that once the general `Relational` class (<, >, !=, etc..) is functioning in a way that it can take over the work of the older assumptions module, we will be able to better combine the behaviors, but not at present. Even when the work reaches this stage there are some issue that will need to be resolved concerning interactive versus module behavior. To see much of the most recent discussion and work look at pull request #20723. <https://github.com/sympy/sympy/pull/20723>
For the near term `Equality` (`Eq`) and `Equation` (`Eqn`) will have to stay separate entities, but people working on this have been thinking about the combination. Is there any behavior that you think it is important to add or change in the proposed `Eqn` class? Thanks for the feedback. Jonathan On Sunday, January 10, 2021 at 4:14:10 PM UTC-6 ga...@garthsnyder.com wrote: > > gu...@uwosh.edu wrote: I have developed a SymPy tool that allows > manipulation of equations... > > Thanks for working on this. > > I use Sympy both for math inside of code and as an interactive tool. The > current Eq() seems like a bit of an afterthought, so historically I haven’t > made much use of it. However, I’m actually a bit surprised to learn that > the existing Eqs don’t behave exactly as demonstrated in the Eqn notebook, > at least as far as the basic idea that “equations are expressions; anything > you do to the equation is propagated to both sides”. Or in other words, > Eqns seem to be doing pretty much exactly what I would expect. > > Current Eqs just generate an error when you try to do equation-level > manipulations in the manner of Eqn. Are there specific points of conflict > that prevent the new facilities from being integrated into the existing Eq > system? > > Garth > > -- 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 sympy+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/68e63b35-2309-469b-b529-0144fb23f0afn%40googlegroups.com.
