1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-10-15 08:05:35 +02:00

use the same directory structure as the orbit version

This commit is contained in:
kalmarek 2018-01-02 03:53:01 +01:00
parent dc91735bfc
commit 46ac64a207

View File

@ -209,16 +209,19 @@ function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius)
save(filename(name, ), "Δ", Δ.coeffs) save(filename(name, ), "Δ", Δ.coeffs)
end end
if exists(filename(name, )) && exists(filename(name, :P)) fullpath = joinpath(name, string(upper_bound))
isdir(fullpath) || mkdir(fullpath)
if exists(filename(fullpath, )) && exists(filename(fullpath, :P))
info(LOGGER, "Loading precomputed λ, P...") info(LOGGER, "Loading precomputed λ, P...")
λ, P = λandP(name) λ, P = λandP(fullpath)
else else
info(LOGGER, "Creating SDP problem...") info(LOGGER, "Creating SDP problem...")
SDP_problem, varλ, varP = create_SDP_problem(Δ, constraints(parent(Δ).pm), upper_bound=upper_bound) SDP_problem, varλ, varP = create_SDP_problem(Δ, constraints(parent(Δ).pm), upper_bound=upper_bound)
JuMP.setsolver(SDP_problem, solver) JuMP.setsolver(SDP_problem, solver)
info(LOGGER, Base.repr(SDP_problem)) info(LOGGER, Base.repr(SDP_problem))
@logtime LOGGER λ, P = λandP(name, SDP_problem, varλ, varP) @logtime LOGGER λ, P = λandP(fullpath, SDP_problem, varλ, varP)
end end
info(LOGGER, "λ = ") info(LOGGER, "λ = ")