On Wed, Feb 10, 2021 at 6:47 AM David Bailey <d...@dbailey.co.uk> wrote:
> On 10/02/2021 00:53, Oscar Benjamin wrote: > > On Tue, 9 Feb 2021 at 23:58, S.Y. Lee <sylee...@gmail.com> > <sylee...@gmail.com> wrote: > > > And we would also arrive in questions like: If equation brings its own > algebra system, there should be an equation of equations? How should we solve > them? > > It's not an "algebra system": it's just a few convenience operations. > It should not be confused with allowing Equation to be used in places > where Expr is expected. > > Might it be an idea to introduce functions such as AddSides, > SubtractSides, etc that Mathematica has? Not only would these avoid any > confusion with the normal arithmetic operations, but I think using these > functions would clarify what is going on. After all, when people do such > operations by hand, they don't write (a=b)*k,or whatever, they typically > write "Multiplying equation 4 by k we get..." > Is there a need to have an unevaluated version of AddSides? + already works for an evaluated version. It might be worth thinking about inequalities in the design here. We've been ignoring them because it's simpler to do equalities first, but inequalities have some restrictions that might clarify what design we want. For a > b, things like function application or even multiplication aren't straightforward. What should x*(a > b) do if x is only known to be real? One option is a Piecewise, but then things get hairy if you start doing other operations. Maybe a MultiplySides does actually make sense for this. Aaron Meurer 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 sympy+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/8ae678d4-86cf-82eb-1037-1356e18b88f6%40dbailey.co.uk > <https://groups.google.com/d/msgid/sympy/8ae678d4-86cf-82eb-1037-1356e18b88f6%40dbailey.co.uk?utm_medium=email&utm_source=footer> > . > -- 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/CAKgW%3D6%2Bg6XZGyA%3D7dZ8wx%2Btk0t8dyN5TMw3kvsu_%3D07R1EX9cA%40mail.gmail.com.
