From cb3c6a0ef5ec155b212fd2985b2847f39370ee20 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Thu, 4 Jan 2018 20:13:41 +0100
Subject: [PATCH] better printing of lambda

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

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index b72e8cb..87bc963 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -181,7 +181,7 @@ function check_λ(name, S, λ, P, radius, logger)
     sgap = check_distance_to_cone(Δ, λ, Q, 2*radius, logger)
 
     if sgap > 0
-        info(logger, "λ ≥ $(Float64(trunc(sgap,12)))")
+        info(logger, "λ($name, S) ≥ $(Float64(trunc(sgap,12)))")
         Kazhdan_κ = Kazhdan_from_sgap(sgap, length(S))
         Kazhdan_κ = Float64(trunc(Kazhdan_κ, 12))
         info(logger, "κ($name, S) ≥ $Kazhdan_κ: Group HAS property (T)!")