Euler's sum of powers conjecture: Difference between revisions

Content added Content deleted
Line 31: Line 31:
<lang 11l>F eulers_sum_of_powers()
<lang 11l>F eulers_sum_of_powers()
V max_n = 250
V max_n = 250
V pow_5 = (0 .< max_n).map(n -> Int64(n ^ 5))
V pow_5 = (0 .< max_n).map(n -> Int64(n) ^ 5)
V pow5_to_n = Dict(0 .< max_n, n -> (Int64(n ^ 5), n))
V pow5_to_n = Dict(0 .< max_n, n -> (Int64(n) ^ 5, n))


L(x0) 1 .< max_n
L(x0) 1 .< max_n