mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-10-19 01:00:36 +02:00
fix: S is a generating set, we need its length
This commit is contained in:
parent
eac9ad2083
commit
8a3e0ae62a
@ -203,7 +203,7 @@ function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius)
|
|||||||
end
|
end
|
||||||
if sgap > 0
|
if sgap > 0
|
||||||
info(logger, "λ ≥ $(Float64(trunc(sgap,12)))")
|
info(logger, "λ ≥ $(Float64(trunc(sgap,12)))")
|
||||||
Kazhdan_κ = Kazhdan_from_sgap(sgap, S)
|
Kazhdan_κ = Kazhdan_from_sgap(sgap, length(S))
|
||||||
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)!")
|
||||||
return true
|
return true
|
||||||
|
Loading…
Reference in New Issue
Block a user