1
0
mirror of https://github.com/kalmarek/SmallHyperbolic synced 2024-11-12 12:50:29 +01:00

fix: return the certified and fp λ to decide if second run is necessary

This commit is contained in:
kalmarek 2020-01-21 21:53:18 +01:00
parent 87b0512580
commit 76b1f0ceb5
2 changed files with 4 additions and 3 deletions

View File

@ -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)

View File

@ -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)