1 | initial version |
Well...
sage: Yt(x)=sqrt(-(x^2 - 1)^2/(x^2 + 1)^2 + 1)
sage: with assuming(x>0): Yt(x).canonicalize_radical()
2*x/(x^2 + 1)
whereas
sage: mathematica.FullSimplify(Yt(x),x>0).sage()
(2*x)/(x^2 + 1)
And, BTW :
sage: Yt(x).canonicalize_radical()
2*x/(x^2 + 1)
HTH,