From 7054fcffe2410c9a1968d5982c0b47dd7de2de77 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Sat, 2 Dec 2017 23:21:00 +0100 Subject: [PATCH] remove old loging --- src/PropertyT.jl | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/PropertyT.jl b/src/PropertyT.jl index 42a5d42..e86ef1e 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -305,10 +305,6 @@ function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius) Δ, sdp_constraints = ΔandSDPconstraints(name, S, Id, radius=radius) end - info(logger, "|S| = $(length(S))") - info(logger, "length(Δ) = $(length(Δ))") - info(logger, "|R[G]|.pm = $(size(parent(Δ).pm))") - if all(exists.(λSDPfilenames(name))) λ, P = λandP(name) else @@ -316,6 +312,7 @@ function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius) SDP_problem, λ, P = create_SDP_problem(Δ, sdp_constraints, upper_bound=upper_bound) JuMP.setsolver(SDP_problem, solver) + λ, P = λandP(name, SDP_problem, λ, P) end