Why can't maxima solve...



>>>>> "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