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.

Reply via email to