Hello, (on sage-6.4.beta3)
The bug for me would be that "abs(sqrt(x))" simplifies to "sqrt(x)". But hopefully, the following is coherent sage: assume(x > 0) sage: abs(1/sqrt(x)).simplify() 1/sqrt(x) But this one is definitely not sage: forget() sage: assume(x < 0) sage: abs(sqrt(x)).simplify() sqrt(-x) Conclusion: !? Vincent 2014-09-15 21:24 UTC+02:00, Eric Gourgoulhon <egourgoul...@gmail.com>: > Hi, > > 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 ? > > Eric. > > -- > 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. > -- 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.