From 76b1f0ceb516c73290b5612e3cb03530c50e46ec Mon Sep 17 00:00:00 2001 From: kalmarek Date: Tue, 21 Jan 2020 21:53:18 +0100 Subject: [PATCH] =?UTF-8?q?fix:=20return=20the=20certified=20and=20fp=20?= =?UTF-8?q?=CE=BB=20to=20decide=20if=20second=20run=20is=20necessary?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- runcomputations.jl | 4 ++-- src/utils.jl | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/runcomputations.jl b/runcomputations.jl index fe59e58..9954124 100644 --- a/runcomputations.jl +++ b/runcomputations.jl @@ -50,10 +50,10 @@ let GROUP = ARGS[1] global_logger(logger) @info "" group_name - λ = check_propertyT(groups[GROUP], group_name, + certified_λ, λ = check_propertyT(groups[GROUP], group_name, HALFRADIUS, Inf, AutomaticStructure, with_SCS(100_000, 50)) - if λ > 0.01 # there is still a chance to detect spectral gap + if certified_λ < 0.0 && λ > 0.01 # there is still a chance to detect spectral gap new_λ = round(0.8λ, sigdigits=2) new_dir = joinpath(group_name, "$new_λ") mkpath(new_dir) diff --git a/src/utils.jl b/src/utils.jl index ed3753c..d5d17ee 100644 --- a/src/utils.jl +++ b/src/utils.jl @@ -60,7 +60,8 @@ function check_propertyT(sett::PropertyT.Settings) certified_λ = PropertyT.certify_SOS_decomposition(ELT, Δ, λ, Q, R=sett.halfradius) PropertyT.interpret_results(sett, certified_λ/100) - return certified_λ/100 + + return certified_λ/100, λ/100 end function load_basis!(RG::GroupRing, sett::PropertyT.Settings)