From acce80e5bd3a780763d2ebe907c95b2869125739 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Sat, 14 Nov 2020 20:40:33 +0100
Subject: [PATCH] =?UTF-8?q?the=20printed=20=CE=BB,=20=CE=B5,=20=CE=B1,=20?=
 =?UTF-8?q?=CE=B1=5Fdeg=20are=20now=20certified?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 adj_psl2_eigvals.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/adj_psl2_eigvals.jl b/adj_psl2_eigvals.jl
index 1a9a682..4c933b2 100644
--- 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)