kalmar
/
PropertyT.jl
mirror of https://github.com/kalmarek/PropertyT.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

further reduce check_property_T

This commit is contained in:
kalmar 2017-06-05 12:48:33 +02:00
parent 82d175b777
commit 9d72141624
1 changed files with 8 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/PropertyT.jl
View File

@ -162,19 +162,17 @@ function check_property_T(name::String, generating_set::Function,
info(logger, "length(Δ) = $(length(Δ))") info(logger, "length(Δ) = $(length(Δ))")
info(logger, "|R(G)|.pm = $(size(parent(Δ).pm))") info(logger, "|R(G)|.pm = $(size(parent(Δ).pm))")
λ, P = try if all(isfile.(λandP(name)))
λandP(name) λ, P = λandP(name)
catch err else
if isa(err, ArgumentError) info(logger, "Creating SDP problem...")
info(logger, "Creating SDP problem...")
t = @timed SDP_problem, λ, P = create_SDP_problem(Δ, sdp_constraints, upper_bound=upper_bound) t = @timed SDP_problem, λ, P = create_SDP_problem(Δ, sdp_constraints, upper_bound=upper_bound)
info(logger, timed_msg(t)) info(logger, timed_msg(t))
JuMP.setsolver(SDP_problem, solver) JuMP.setsolver(SDP_problem, solver)
λandP(name, SDP_problem, λ, P) λ, P = λandP(name, SDP_problem, λ, P)
end
end end
info(logger, "λ = $λ") info(logger, "λ = $λ")