Stan Schymanski <schym...@gmail.com> writes: > Hi Martin, > > I can't imagine that such a change in the result is intended > behaviour of a simplify action. If it is, one should either stay > away from it if one is planning to do any numeric calculations or > understand when to use it and when not. I'm still struggling with > that.
I did not want to say that sqrt(a*b)=sqrt(a)*sqrt(b) is always good behaviour, but there are circumstances where you want it. Eg., it seems that it's necessary for symbolic integration, where you are really working in a differential field. I think what it boils down to is that in the end you want to have a separate domain that takes care of branch cuts. I don't think that maxima has this, in FriCAS it is on the to do list. However, currently in (the repository version of) FriCAS already many of the "offending" simplifications are disabled, and only applied within the integration algorithms. Martin --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
