From 0db3200a4c50b8a095de693aa9526f4479370b68 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 9 Jun 2017 12:00:15 +0200 Subject: [PATCH] name is stored in ::Settings --- Orb_AutFN.jl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Orb_AutFN.jl b/Orb_AutFN.jl index 98cec76..5ab2bb5 100644 --- a/Orb_AutFN.jl +++ b/Orb_AutFN.jl @@ -204,16 +204,16 @@ function orbit_check_propertyT(logger, sett::Settings) end if sgap > 0 info(logger, "λ ≥ $(Float64(trunc(sgap,12)))") - Kazhdan_κ = PropertyT.Kazhdan_from_sgap(sgap, length(S)) + Kazhdan_κ = PropertyT.Kazhdan_from_sgap(sgap, length(sett.S)) Kazhdan_κ = Float64(trunc(Kazhdan_κ, 12)) - info(logger, "κ($name, S) ≥ $Kazhdan_κ: Group HAS property (T)!") + info(logger, "κ($(sett.name), S) ≥ $Kazhdan_κ: Group HAS property (T)!") return true else sgap = Float64(trunc(sgap, 12)) - info(logger, "λ($name, S) ≥ $sgap: Group may NOT HAVE property (T)!") + info(logger, "λ($(sett.name), S) ≥ $sgap: Group may NOT HAVE property (T)!") return false end end - info(logger, "κ($name, S) ≥ $λ < 0: Tells us nothing about property (T)") + info(logger, "κ($(sett.name), S) ≥ $λ < 0: Tells us nothing about property (T)") return false end