From 79e98b07be38e555188853836f03717d6f241a7f Mon Sep 17 00:00:00 2001 From: kalmar Date: Mon, 5 Jun 2017 13:49:43 +0200 Subject: [PATCH] S is now a honest Vector of groupelems --- src/PropertyT.jl | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/PropertyT.jl b/src/PropertyT.jl index d5a5b69..1a3ebc3 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -153,8 +153,7 @@ function setup_logging(name::String) end -function check_property_T(name::String, generating_set, - solver, upper_bound, tol, radius) +function check_property_T(name::String, S, solver, upper_bound, tol, radius) if !isdir(name) mkdir(name) @@ -170,8 +169,7 @@ function check_property_T(name::String, generating_set, Δ, sdp_constraints = ΔandSDPconstraints(name, S, radius) end - S = countnz(Δ.coeffs) - 1 - info(logger, "|S| = $S") + info(logger, "|S| = $(length(S))") info(logger, "length(Δ) = $(length(Δ))") info(logger, "|R(G)|.pm = $(size(parent(Δ).pm))")