I have previously questioned that Wolfram have a == b -> a/c == b/c transformation in conditional expression format https://reference.wolfram.com/language/ref/DivideSides.html and why you were not attempting to implement same like this, But now I'd may agree on that if we treat such examples as polynomial algebra, those transformation can make mathematical sense without connection to the assumptions behind. And I believe that in this sense, differentiation and integration can similarly avoid such hoax without treatment of assumptions.
But now I have an another question if the manipulation works in algebraically robust way, For example, we have lots of pitfalls of expression tree manipulation that some simple examples like "x / x" work, but we soon end up with some more complicated examples like " exp(x+1)/exp(1)" doesn't work robustly, and the only way to cope with them are appending .expand().cancel().together().simplify(), ... to the tail which is pretty much black-boxed and not robust at all. So this is one of the problem that I'm skeptical about how they can be used as a backend for automatic symbolic manipulations, rather than some convenience tools for end users. And for such purposes I believe that we rather have to make object like PolyEquation. On Thursday, January 7, 2021 at 12:03:57 PM UTC+9 gu...@uwosh.edu wrote: > I have developed a SymPy tool that allows manipulation of equations (two > expression equal to each other, e.g. `a*b = c/d`) using as close to > standard mathematical notation as I could manage. This is primarily meant > for interactive use when doing manual algebra, but has some potential uses > as a backend for automatic symbolic manipulations. > > While working to make it possible to incorporate this tool into the sympy > codebase some questions have arisen about how this would be used and thus > the best way to interface it with sympy. Therefore we need a broader > community discussion of this tool. > > Anybody can try this tool interactively by following this mybinder.org > link: https://mybinder.org/v2/gh/gutow/Algebra_with_Sympy.git/master. The > demonstrations of the capabilities are in the Jupyter notebook `Demonstration > of equation class.ipynb > <https://hub.gke2.mybinder.org/user/gutow-algebra_with_sympy-zxp0vvy8/notebooks/Demonstration%20of%20equation%20class.ipynb> > `. > > We are interested in knowing if people find any of the behavior odd and > why. In particular we are not sure about the best behavior for > differentiation and integration, so please look at those sections > carefully. We could also use input on operations that you would like to > work that do not and how they should behave. > > Please reply to this discussion thread. > > Thank you, > Jonathan > -- 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/24b7e5e1-ff37-40f2-9b56-fba968075ea7n%40googlegroups.com.
