12 Feb
2011
12 Feb
'11
3:23 a.m.
* Bill Gosper <billgosper@gmail.com> [Feb 11. 2011 09:45]:
[...] Out[250]= (1 - Sqrt[5] + 3 Sqrt[-2 + Sqrt[5]] + (-2 + Sqrt[5])^(3/2))/(2 Sqrt[2])
which canNOT be done by working outward from the innermost.
Your (1 - sqrt(5) + 3*sqrt(-2+sqrt(5)) + (-2+sqrt(5))^(3/2))/(2*sqrt(2)) = 1/2*(sqrt(sqrt(5)-1) - sqrt(3-sqrt(5))) = 0.1188769458... (sqrt of 5th singular value)
--rwg [...]