From 477417bb9a4a92aed6cb10bdb8fc994fab36a619 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Mon, 5 Jun 2017 13:48:44 +0200
Subject: [PATCH] We can again use cached Delta and pm

---
 src/PropertyT.jl | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index d61c138..d5a5b69 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -162,10 +162,12 @@ function check_property_T(name::String, generating_set,
 
     setup_logging(name)
 
-    if all(isfile.(pmΔfilenames(name))) && false
-        Δ, sdp_constraints = ΔandSDPconstraints(name)
+    if all(isfile.(pmΔfilenames(name)))
+        # cached
+        Δ, sdp_constraints = ΔandSDPconstraints(name, parent(S[1]))
     else
-        Δ, sdp_constraints = ΔandSDPconstraints(name, generating_set, radius)
+        # compute
+        Δ, sdp_constraints = ΔandSDPconstraints(name, S, radius)
     end
 
     S = countnz(Δ.coeffs) - 1