diff --git a/paper_data/check_positivity.jl b/paper_data/check_positivity.jl index 7e19464..1f92dde 100644 --- a/paper_data/check_positivity.jl +++ b/paper_data/check_positivity.jl @@ -86,6 +86,8 @@ info("Looking for solution.jld in $fullpath") if !isfile(SOLUTION_FILE) info("solution.jld not found, attempting to recreate one.") + SDP_problem, varλ, varP = PropertyT.SOS_problem(elt, Δ, orbit_data; upper_bound=LAMBDA) + begin scs_solver = SCS.SCSSolver(linear_solver=SCS.Direct, eps=1e-12, @@ -101,8 +103,6 @@ if !isfile(SOLUTION_FILE) if isfile(WARMSTART_FILE) ws = load(WARMSTART_FILE, "warmstart") end - - SDP_problem, varλ, varP = PropertyT.SOS_problem(elt, Δ, orbit_data; upper_bound=LAMBDA) i = 0 # for i in 1:6