kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-07-17 10:55:30 +02:00
Code Issues Releases Wiki Activity

cosmetics

Browse Source
This commit is contained in:
kalmar 2017-03-31 16:12:00 +02:00
parent f487c4635c
commit 5c36eccc7b
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/PropertyT.jl
View File

@ -172,6 +172,7 @@ function check_property_T(name::String, generating_set::Function,
Kazhdan_κ = Float64(trunc(Kazhdan_κ, 12)) Kazhdan_κ = Float64(trunc(Kazhdan_κ, 12))
info(logger, "κ($name, S) ≥ $Kazhdan_κ: Group HAS property (T)!") info(logger, "κ($name, S) ≥ $Kazhdan_κ: Group HAS property (T)!")
else else
spectral_gap = Float64(trunc(spectral_gap, 12))
info(logger, "λ($name, S) ≥ $spectral_gap: Group may NOT HAVE property (T)!") info(logger, "λ($name, S) ≥ $spectral_gap: Group may NOT HAVE property (T)!")
end end
else else