From 8a3e0ae62ae36072a14644a7376b003f6a5fbde1 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Mon, 5 Jun 2017 17:28:39 +0200
Subject: [PATCH] fix: S is a generating set, we need its length

---
 src/PropertyT.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index a14707a..1f63b95 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -203,7 +203,7 @@ function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius)
       end
       if sgap > 0
            info(logger, "λ ≥ $(Float64(trunc(sgap,12)))")
-            Kazhdan_κ = Kazhdan_from_sgap(sgap, S)
+            Kazhdan_κ = Kazhdan_from_sgap(sgap, length(S))
             Kazhdan_κ = Float64(trunc(Kazhdan_κ, 12))
             info(logger, "κ($name, S) ≥ $Kazhdan_κ: Group HAS property (T)!")
             return true