From 73a58f0697277469ef2dc7bf16d425558fe628a0 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Wed, 26 Feb 2020 14:48:09 +0100 Subject: [PATCH] =?UTF-8?q?fix:=20new=5F=CE=BB=20is=200.8=CE=BB,=20not=200?= =?UTF-8?q?.008=CE=BB?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- runcomputations.jl | 6 +++--- src/utils.jl | 3 ++- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/runcomputations.jl b/runcomputations.jl index ee8fb1a..8be492b 100644 --- a/runcomputations.jl +++ b/runcomputations.jl @@ -53,11 +53,11 @@ let GROUP = ARGS[1] global_logger(logger) @info "" group_name - certified_λ, λ = check_propertyT(groups[GROUP], group_name, + spectral_gap, λ = check_propertyT(groups[GROUP], group_name, HALFRADIUS, Inf, AutomaticStructure, with_SCS(100_000, 50)) - if certified_λ < 0.0 && λ > 0.01 # there is still a chance to detect spectral gap - new_λ = round(0.8λ, sigdigits=2) + if spectral_gap < 0.0 && λ > 0.01 # there is still a chance to detect spectral gap + new_λ = round(0.8λ, sigdigits=3) new_dir = joinpath(group_name, "$new_λ") isdir(new_dir) || mkpath(new_dir) cp(joinpath(group_name, "Inf", "warmstart.jld"), joinpath(new_dir, "warmstart.jld"), force=true) diff --git a/src/utils.jl b/src/utils.jl index d5d17ee..e237598 100644 --- a/src/utils.jl +++ b/src/utils.jl @@ -38,6 +38,7 @@ function check_propertyT(sett::PropertyT.Settings) S = gens(RG.group) S = unique!([S; inv.(S)]) + @assert length(S) == 6 Δ = RG(length(S)) - sum(RG(s) for s in S) # small Laplacian @info "Checking the positivity of" Δ @@ -61,7 +62,7 @@ function check_propertyT(sett::PropertyT.Settings) PropertyT.interpret_results(sett, certified_λ/100) - return certified_λ/100, λ/100 + return certified_λ/100, λ end function load_basis!(RG::GroupRing, sett::PropertyT.Settings)