Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

This question has been answered already

http://ask.sagemath.org/question/222/why-wont-simplify-multiply-out-square-roots

Here is how you can force sage to simplify roots

x_1=var('x_1')
x_2=var('x_2')
x_3=var('x_3')
t=(sqrt(-x_3 + sqrt(x_1^2 + x_2^2 + x_3^2))*sqrt(x_3 + sqrt(x_1^2 + x_2^2 +
x_3^2))/sqrt(x_2^2/x_1^2 + 1)).maxima_methods().rootscontract().simplify()
view(t)

This question has been answered alreadyalready answered

http://ask.sagemath.org/question/222/why-wont-simplify-multiply-out-square-roots

Here is how you can force sage to simplify roots

x_1=var('x_1')
x_2=var('x_2')
x_3=var('x_3')
t=(sqrt(-x_3 + sqrt(x_1^2 + x_2^2 + x_3^2))*sqrt(x_3 + sqrt(x_1^2 + x_2^2 +
x_3^2))/sqrt(x_2^2/x_1^2 + 1)).maxima_methods().rootscontract().simplify()
view(t)

This question has been already answered

http://ask.sagemath.org/question/222/why-wont-simplify-multiply-out-square-roots

Here is how you can force sage to simplify roots

x_1=var('x_1')
x_2=var('x_2')
x_3=var('x_3')
var('x_1 x_2 x_3')
t=(sqrt(-x_3 + sqrt(x_1^2 + x_2^2 + x_3^2))*sqrt(x_3 + sqrt(x_1^2 + x_2^2 +
x_3^2))/sqrt(x_2^2/x_1^2 + 1)).maxima_methods().rootscontract().simplify()
view(t)
click to hide/show revision 4
addressed the point in comment

This question has been already answered

http://ask.sagemath.org/question/222/why-wont-simplify-multiply-out-square-roots

Here is how you can force sage to simplify roots

var('x_1 x_2 x_3')
t=(sqrt(-x_3 + sqrt(x_1^2 + x_2^2 + x_3^2))*sqrt(x_3 + sqrt(x_1^2 + x_2^2 +
x_3^2))/sqrt(x_2^2/x_1^2 + 1)).maxima_methods().rootscontract().simplify()
view(t)

Edit: If you want to get rid of the last square root use the following code

var('x_1 x_2 x_3')
assume(x_1>0)
t=(sqrt(-x_3 + sqrt(x_1^2 + x_2^2 + x_3^2))*sqrt(x_3 + sqrt(x_1^2 + x_2^2 +
x_3^2))/sqrt(x_2^2/x_1^2 + 1)).maxima_methods().rootscontract().simplify()
view(t)