kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-27 01:10:28 +01:00
Code Issues Releases Wiki Activity

better printing

Browse Source
This commit is contained in:
kalmar 2017-04-01 14:22:30 +02:00
parent 41e53a598a
commit 028979bfd1
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/PropertyT.jl
View File

@ -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)!")