From 3517d2899023af3bfd42976a147d7c2c5b209e81 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 17 Mar 2017 16:24:55 +0100 Subject: [PATCH] if spectral_gap is < 0 don't compute Kazhdan constant --- src/PropertyT.jl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/PropertyT.jl b/src/PropertyT.jl index c28a877..f5d8f65 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -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)")