1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-13 22:05:27 +01:00

if spectral_gap is < 0 don't compute Kazhdan constant

This commit is contained in:
kalmar 2017-03-17 16:24:55 +01:00
parent 7335a94fa6
commit 3517d28990

View File

@ -143,12 +143,12 @@ function check_property_T(name::String, ID, generate_B₄::Function,
if κ > 0
spectral_gap = check_distance_to_positive_cone(Δ, κ, A, tol=tol, rational=false)
Kazhdan_κ = sqrt(2*spectral_gap/S)
Kazhdan_κ = Float64(trunc(Kazhdan_κ,12))
if Kazhdan_κ > 0
if spectral_gap > 0
Kazhdan_κ = sqrt(2*spectral_gap/S)
Kazhdan_κ = Float64(trunc(Kazhdan_κ,12))
info(logger, "κ($name, S) ≥ $Kazhdan_κ: Group HAS property (T)!")
else
info(logger, "κ($name, S) ≥ $Kazhdan_κ: Group may NOT HAVE property (T)!")
info(logger, "λ($name, S) ≥ $spectral_gap: Group may NOT HAVE property (T)!")
end
else
info(logger, "κ($name, S) ≥ < 0: Tells us nothing about property (T)")