kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-25 10:20:30 +01:00
Code Issues Releases Wiki Activity

logtime of sdp solution; print the reresentation of SDP to log

Browse Source
This commit is contained in:
kalmarek 2018-01-02 03:52:24 +01:00
parent 6affa6876f
commit dc91735bfc
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Orbit-wise.jl
View File

@ -190,7 +190,7 @@ end
function λandP(m::JuMP.Model, data::OrbitData, sett::Settings)
info(sett.logger, "Solving SDP problem...")
λ, Ps = λandP(m, data, sett.warmstart)
@logtime sett.logger λ, Ps = λandP(m, data, sett.warmstart)
info(sett.logger, "Reconstructing P...")
@ -234,6 +234,7 @@ function check_property_T(sett::Settings)
info(sett.logger, "Creating SDP problem...")
SDP_problem, orb_data = create_SDP_problem(sett)
JuMP.setsolver(SDP_problem, sett.solver)
info(sett.logger, Base.repr(SDP_problem))
λ, P = λandP(SDP_problem, orb_data, sett)
end