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