kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-10-15 08:05:35 +02:00
Code Issues Releases Wiki Activity

We can again use cached Delta and pm

Browse Source
This commit is contained in:
kalmar 2017-06-05 13:48:44 +02:00
parent 30aea5c043
commit 477417bb9a
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/PropertyT.jl
View File

@ -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