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

fix interpret_results

Browse Source
This commit is contained in:
kalmarek 2018-09-05 09:07:05 +02:00
parent d73f041c3c
commit 504647223b
1 changed files with 5 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/PropertyT.jl
View File

@ -78,8 +78,6 @@ function saveλandP(name, λ, P, ws)
end end
exists(fname::String) = isfile(fname) || islink(fname) exists(fname::String) = isfile(fname) || islink(fname)
Kazhdan(λ::Number,N::Integer) = sqrt(2*λ/N)
filename(prefix, s::Symbol) = filename(prefix, Val{s}) filename(prefix, s::Symbol) = filename(prefix, Val{s})
@eval begin @eval begin
@ -153,20 +151,18 @@ for T in [:Naive, :Symmetrize]
end end
end end
function interpret_results(name::String, Δ::GroupRingElem, radius::Integer, length_S::Integer, λ::AbstractFloat, P) Kazhdan(λ::Number, N::Integer) = sqrt(2*λ/N)
@time Q = real(sqrtm(Symmetric(P))) function interpret_results(sett::Settings, sgap::Number)
sgap = distance_to_cone(Δ, λ, Q, wlen=2*radius)
if sgap > 0 if sgap > 0
Kazhdan_κ = Kazhdan(sgap, length_S) Kazhdan_κ = Kazhdan(sgap, length(sett.S))
if Kazhdan_κ > 0 if Kazhdan_κ > 0
info("κ($name, S) ≥ $Kazhdan_κ: Group HAS property (T)!") info("κ($(sett.name), S) ≥ $Kazhdan_κ: Group HAS property (T)!")
return true return true
end end
end end
info("λ($name, S) ≥ $sgap < 0: Tells us nothing about property (T)") info("λ($(sett.name), S) ≥ $sgap < 0: Tells us nothing about property (T)")
return false return false
end end