mirror of
https://github.com/kalmarek/SmallHyperbolic
synced 2024-09-01 13:25:35 +02:00
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
This commit is contained in:
parent
73a58f0697
commit
b34bba4f09
@ -58,9 +58,9 @@ function check_propertyT(sett::PropertyT.Settings)
|
|||||||
|
|
||||||
save(PropertyT.filename(sett, :solution), "λ", λ, "P", P, "Q", Q)
|
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, λ
|
return certified_λ/100, λ
|
||||||
end
|
end
|
||||||
|
Loading…
Reference in New Issue
Block a user