diff --git a/src/PropertyT.jl b/src/PropertyT.jl index 55610ab..0443928 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -162,6 +162,7 @@ function check_property_T(name::String, generating_set::Function, Δ, sdp_constraints = ΔandSDPconstraints(name) else Δ, sdp_constraints = ΔandSDPconstraints(name, generating_set, radius) + end S = countnz(Δ.coeffs) - 1 info(logger, "|S| = $S")