uncomment certification
This commit is contained in:
parent
6f56c85550
commit
3a261afb11
@ -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_λ
|
||||
|
||||
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user