Simplifying a product of square roots



Barton Willis wrote:
> (%i3) rootscontract(sqrt(2 - sqrt(2)) * sqrt(2 + sqrt(2)) / sqrt(2));
> (%o3) 1
> 
> Barton

Thanks, that was exactly what I was looking for!

Yours,
Daniel

-- 
Done:  Arc-Bar-Cav-Ran-Rog-Sam-Tou-Val-Wiz
To go: Hea-Kni-Mon-Pri