From b34bba4f09221afd2cf123f124de8e19c63d7454 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Wed, 26 Feb 2020 14:50:32 +0100
Subject: [PATCH] fix: computation of the Kazhdan constant and radius in
 certification

the latter is set to 10, which still might not be correct for all cases
---
 src/utils.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/utils.jl b/src/utils.jl
index e237598..641c3b7 100644
--- a/src/utils.jl
+++ b/src/utils.jl
@@ -58,9 +58,9 @@ function check_propertyT(sett::PropertyT.Settings)
 
     save(PropertyT.filename(sett, :solution), "λ", λ, "P", P, "Q", Q)
 
-    certified_λ = PropertyT.certify_SOS_decomposition(ELT, Δ, λ, Q, R=sett.halfradius)
+    certified_λ = PropertyT.certify_SOS_decomposition(ELT, Δ, λ, Q, R=10)
 
-    PropertyT.interpret_results(sett, certified_λ/100)
+    PropertyT.interpret_results(sett.name, certified_λ/100, length(S))
 
     return certified_λ/100, λ
 end