kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-24 02:00:30 +01:00
Code Issues Releases Wiki Activity

missing end

Browse Source
This commit is contained in:
kalmar 2017-06-05 13:23:10 +02:00
parent 2471c752e6
commit 0f3313b290
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/PropertyT.jl
View File

@ -162,6 +162,7 @@ function check_property_T(name::String, generating_set::Function,
Δ, sdp_constraints = ΔandSDPconstraints(name)
else
Δ, sdp_constraints = ΔandSDPconstraints(name, generating_set, radius)
end
S = countnz(Δ.coeffs) - 1
info(logger, "|S| = $S")