From f543d847eacec2420521fa033ed3e099670b7962 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Sun, 27 Aug 2017 19:12:21 +0200 Subject: [PATCH] =?UTF-8?q?Save=20memory:=20=CE=94andSDPconstraints=20take?= =?UTF-8?q?s=20a=20lot=20of=20it?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/Orbit-wise.jl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/Orbit-wise.jl b/src/Orbit-wise.jl index c279df8..56ab0c8 100644 --- a/src/Orbit-wise.jl +++ b/src/Orbit-wise.jl @@ -215,8 +215,6 @@ function check_property_T(sett::Settings) init_orbit_data(logger, sett, radius=sett.radius) - Δ = PropertyT.ΔandSDPconstraints(sett.name, sett.G)[1] - fnames = PropertyT.λSDPfilenames(sett.name) if all(isfile.(fnames)) @@ -235,6 +233,10 @@ function check_property_T(sett::Settings) info(logger, "minimum(P) = $(minimum(P))") if λ > 0 + pm_fname = joinpath(sett.name, "pm.jld") + RG = GroupRing(sett.G, load(pm_fname, "pm")) + Δ_fname = joinpath(sett.name, "delta.jld") + Δ = GroupRingElem(load(Δ_fname, "Δ")[:, 1], RG) isapprox(eigvals(P), abs.(eigvals(P)), atol=sett.tol) || warn("The solution matrix doesn't seem to be positive definite!")