From: Raymond Toy <toy.raymond@gm...> - 2014-08-10 06:00:50
How can I get maxima to simplify

sqrt(sqrt(2) + 1)*sqrt(sqrt(2) - 1)

ratsimp, radcan, sqrtdenest, various values of radexpand etc. just
returns the expression.

But if you write the expression as just one equivalent sqrt:

sqrt((sqrt(2) + 1)*(sqrt(2) - 1))

Maxima simplifies this to 1:

radexpand:false;
sqrt((sqrt(2) + 1)*(sqrt(2) - 1))
expand(%);

Is there some way to get maxima to do this?

--
Ray
tray rootscontract

(%i1) sqrt(sqrt(2) + 1)*sqrt(sqrt(2) - 1);
(%o1) sqrt(sqrt(2)-1)*sqrt(sqrt(2)+1)
(%i2) rootscontract(%);
(%o2) 1

best
Aleksas D