kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-09-13 08:35:40 +02:00
Code Issues Releases Wiki Activity

remove old loging

Browse Source
This commit is contained in:
kalmarek 2017-12-02 23:21:00 +01:00
parent 29f347a228
commit 7054fcffe2
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/PropertyT.jl
View File

@ -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