1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-27 01:10:28 +01:00

grab warmstart, P, lambda from the solved model

This commit is contained in:
kalmarek 2017-12-01 17:05:35 +01:00
parent bbcaec5bae
commit 659e5e03a1

View File

@ -180,7 +180,13 @@ function compute_λandP(m, varλ, varP; warmstart=nothing)
warn(solver_logger, y)
end
end
return λ, P, (p_sol, d_sol, s)
warmstart = (m.internalModel.primal_sol, m.internalModel.dual_sol,
m.internalModel.slack)
P = JuMP.getvalue(varP)
λ = JuMP.getvalue(varλ)
return λ, P, warmstart
end
Kazhdan_from_sgap(λ,N) = sqrt(2*λ/N)