For the 17th singular value, Mathworld gives a nonsensical surdoma with a chunky subexpression both added and subtracted. I PSLQed for it a big bioctic and manually massaged it down to LambdaStar[17]==1/8 (3 + Sqrt[17]) (2 Sqrt[2] - Sqrt[1 + Sqrt[17]]) - Sqrt[-19 Sqrt[2] - 5 Sqrt[34] + Sqrt[1 + Sqrt[17]] (13 + 3 Sqrt[17])]/(2 2^(1/4)) which the denester considers finished. --rwg Does anybody know if the sum of two (or more) undenestable surds can denest? (Nontrivially) On Sun, Feb 13, 2011 at 12:23 AM, Bill Gosper <billgosper@gmail.com> wrote:
For lamba*[4/5] Mathworld gives a dense reciprocal octic. (Antoctic??) Sqrt[ModularLambda[(2 I)/Sqrt[5]]] == 35 + 25 Sqrt[2] + 16 Sqrt[5] + 11 Sqrt[10] + Sqrt[38 + 17 Sqrt[5]] (-8 + Sqrt[2] - 3 Sqrt[10]) --rwg
On Sun, Feb 13, 2011 at 12:04 AM, Bill Gosper <billgosper@gmail.com>wrote:
Mathworld gives as an unsolved biquartic. LambdaStar[3/4]=2 2^(1/4) Sqrt[-147 - 104 Sqrt[2] + 85 Sqrt[3] + 60 Sqrt[6]] --rwg