From ef407c6a24ff8f74955c882c1919c6659326b483 Mon Sep 17 00:00:00 2001 From: kalmar Date: Sat, 8 Apr 2017 13:49:57 +0200 Subject: [PATCH] correct the final printout --- src/PropertyT.jl | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/src/PropertyT.jl b/src/PropertyT.jl index bf4f7f9..44fa1f7 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -171,13 +171,17 @@ function check_property_T(name::String, generating_set::Function, if λ > 0 spectral_gap = check_distance_to_positive_cone(Δ, λ, P, tol=tol, rational=false) if isa(spectral_gap, Interval) - info(logger, "λ ≥ $(Float64(trunc(spectral_gap.lo,12)))") - Kazhdan_κ = Kazhdan_from_sgap(spectral_gap, S) - Kazhdan_κ_lo = Float64(trunc(Kazhdan_κ.lo, 12)) - info(logger, "κ($name, S) ≥ $Kazhdan_κ_lo: Group HAS property (T)!") + sgap = spectral_gap.lo + end + if sgap > 0 + info(logger, "λ ≥ $(Float64(trunc(sgap,12)))") + Kazhdan_κ = Kazhdan_from_sgap(sgap, S) + Kazhdan_κ = Float64(trunc(Kazhdan_κ, 12)) + info(logger, "κ($name, S) ≥ $Kazhdan_κ: Group HAS property (T)!") + else - spectral_gap = Float64(trunc(spectral_gap, 12)) - info(logger, "λ($name, S) ≥ $spectral_gap: Group may NOT HAVE property (T)!") + sgap = Float64(trunc(sgap, 12)) + info(logger, "λ($name, S) ≥ $sgap: Group may NOT HAVE property (T)!") end else info(logger, "κ($name, S) ≥ $λ < 0: Tells us nothing about property (T)")