the printed λ, ε, α, α_deg are now certified

2024-11-23 23:40:28 +01:00 · 2020-11-14 20:40:33 +01:00 · 2020-11-14 20:40:33 +01:00 · acce80e5bd
commit acce80e5bd
parent 2effd731bc
1 changed files with 2 additions and 2 deletions
--- a/adj_psl2_eigvals.jl
+++ b/adj_psl2_eigvals.jl
@ -200,8 +200,8 @@ open(LOGFILE, "w") do io
        λ = all_large_evs[2]
        ε = (λ - 3)/5
        α = acos(ε)
-        α_deg = α/pi*180
-        @info "Numerically" λ ε α α_deg
+        α_deg = (α/pi)*180
+        @info "Certified values:" λ ε α α_deg
    end # with_logger
 end # open(logfile)