From 028979bfd14a8ef487b7a64ef11ec2da523e0a09 Mon Sep 17 00:00:00 2001 From: kalmar Date: Sat, 1 Apr 2017 14:22:30 +0200 Subject: [PATCH] better printing --- src/PropertyT.jl | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/PropertyT.jl b/src/PropertyT.jl index e9b8b30..bf325c4 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -138,6 +138,8 @@ function compute_κandA(sdp_constraints, Δ::GroupAlgebraElement, solver::Abstra return κ, A end +Kazhdan_from_sgap(λ,N) = sqrt(2*λ/N) + function check_property_T(name::String, generating_set::Function, solver, upper_bound, tol, radius) @@ -171,9 +173,10 @@ function check_property_T(name::String, generating_set::Function, spectral_gap = spectral_gap.lo end if spectral_gap > 0 - Kazhdan_κ = sqrt(2*spectral_gap/S) - Kazhdan_κ = Float64(trunc(Kazhdan_κ, 12)) - info(logger, "κ($name, S) ≥ $Kazhdan_κ: Group HAS property (T)!") + @show spectral_gap + Kazhdan_const = Kazhdan_from_sgap(spectral_gap, S) + Kazhdan_const = Float64(trunc(Kazhdan_const, 12)) + info(logger, "κ($name, S) ≥ $Kazhdan_const: Group HAS property (T)!") else spectral_gap = Float64(trunc(spectral_gap, 12)) info(logger, "λ($name, S) ≥ $spectral_gap: Group may NOT HAVE property (T)!")