Why can't maxima solve...



Shouldn't this be a standart hack? I mean, I had this expression as a 
possible solution and it was rejected by default because it wasn't 
simplified. So, do I have now to check for nested radicals every time 
and denest them?
--
Andrei Zorine

Raymond Toy wrote:
>>>>>>"Andrei" == Andrei Zorine <zoav1@uic.nnov.ru> writes:
>>>>>
> 
>     Andrei> it doesn't help. Maxima doesn't see that sqrt(2*sqrt(11)+12) =
>     Andrei> 1+sqrt(11). I wish I could teach it handle nested radicals if I only
>     Andrei> knew the proper algorithm.
> 
> (C1) load("sqdnst.mac");
> (D1) 	  /apps/public/src/toy/maxima/share/simplification/sqdnst.mac
> (C2) sqrtdenest(sqrt(2*sqrt(11)+12));
> (D2) 				 SQRT(11) + 1
> 
> Ray
> 
>