Hello, > I've noticed the following change in simplifications between Sage 6.3 and > preceeding versions: > > In Sage 6.2 (and preceeding): > > sage: simplify( abs(sqrt(x)) ) > sqrt(x) > sage: simplify( abs(1/sqrt(x)) ) > 1/sqrt(x) > while in Sage 6.3: > > sage: simplify( abs(sqrt(x)) ) > sqrt(x) > sage: simplify( abs(1/sqrt(x)) ) > abs(1/sqrt(x)) > The behavior in Sage <= 6.2 is coherent and correct for x real (but not > for x complex !), while that in Sage 6.3 is not coherent (why simplifying > abs(sqrt(x)) and not abs(1/sqrt(x)) ?). Is there any reason for this ? > Shall this be considered as a bug ?
This is probably due to Maxima. The following happens with and without the "domain: complex" setting: Maxima 5.34.0 http://maxima.sourceforge.net using Lisp ECL 12.12.1 Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1) domain: complex; (%o1) complex (%i2) abs(sqrt(x)); (%o2) sqrt(x) (%i3) abs(1/sqrt(x)); ! 1 ! (%o3) !-------! !sqrt(x)! I guess the first answer should be left alone (or at most changed to sqrt(abs(x))) when "domain: complex" is set, which is what Sage does. Peter -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
