30 Aug
2008
30 Aug
'08
12:06 a.m.
* rwg@sdf.lonestar.org <rwg@sdf.lonestar.org> [Aug 29. 2008 10:17]:
[...]
Unfortunately, tables have bugs. E.g., for K(k_11) in terms of Betas, Eric defines a constant R as "the real root of x^3-4x=4=0". The obvious guesses x^3-4x=4 and x^3-4*x+4=0 don't seem to work. Earlier, they use the undenested radicals sqrt(2+-sqrt(3)), which also make me nervous.
k_11 = 0.02184972261085453699635444... minpoly(k_11^2) == 4096*x^6 - 12288*x^5 + 13056*x^4 - 5632*x^3 + 2864*x^2 - 2096*x + 1 (?)
[...]