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

correct the final printout

Browse Source
This commit is contained in:
kalmar 2017-04-08 13:49:57 +02:00
parent 10a0977d2e
commit 8ccfe09105
1 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/PropertyT.jl
View File

@ -171,13 +171,17 @@ function check_property_T(name::String, generating_set::Function,
if λ > 0 if λ > 0
spectral_gap = check_distance_to_positive_cone(Δ, λ, P, tol=tol, rational=false) spectral_gap = check_distance_to_positive_cone(Δ, λ, P, tol=tol, rational=false)
if isa(spectral_gap, Interval) if isa(spectral_gap, Interval)
info(logger, "λ ≥ $(Float64(trunc(spectral_gap.lo,12)))") sgap = spectral_gap.lo
Kazhdan_κ = Kazhdan_from_sgap(spectral_gap, S) end
Kazhdan_κ_lo = Float64(trunc(Kazhdan_κ.lo, 12)) if sgap > 0
info(logger, "κ($name, S) ≥ $Kazhdan_κ_lo: Group HAS property (T)!") 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 else
spectral_gap = Float64(trunc(spectral_gap, 12)) sgap = Float64(trunc(sgap, 12))
info(logger, "λ($name, S) ≥ $spectral_gap: Group may NOT HAVE property (T)!") info(logger, "λ($name, S) ≥ $sgap: Group may NOT HAVE property (T)!")
end end
else else
info(logger, "κ($name, S) ≥ $λ < 0: Tells us nothing about property (T)") info(logger, "κ($name, S) ≥ $λ < 0: Tells us nothing about property (T)")