From 3a261afb11525a506835695feb97a60f90ae3b2d Mon Sep 17 00:00:00 2001 From: kalmarek Date: Wed, 3 Apr 2019 19:38:01 +0200 Subject: [PATCH] uncomment certification --- bin/check_SpNs.jl | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/bin/check_SpNs.jl b/bin/check_SpNs.jl index 7d4f1a5..90469d7 100644 --- a/bin/check_SpNs.jl +++ b/bin/check_SpNs.jl @@ -60,13 +60,13 @@ solver_logfile(sett) = joinpath(PropertyT.fullpath(sett), "Adj_solver_$(Property λ, P = PropertyT.approximate_by_SOS(sett, elt, Δ, solverlog=solver_logfile(sett)) -# save(PropertyT.filename(sett, :solution), "λ", λ, "P", P) -# λ < 0 && @warn "Solver did not produce a valid solution!" +save(PropertyT.filename(sett, :solution), "λ", λ, "P", P) +λ < 0 && @warn "Solver did not produce a valid solution!" -# Q = real(sqrt(P)); -# certified_λ = PropertyT.certify_SOS_decomposition(elt, Δ, λ, Q, R=RADIUS) +Q = real(sqrt(P)); +certified_λ = PropertyT.certify_SOS_decomposition(elt, Δ, λ, Q, R=RADIUS) -# @info "The obtained SOS can be use to certify λ ≥" certified_λ +@info "The obtained SOS can be use to certify λ ≥" certified_λ