kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-23 16:20:28 +01:00
Code Issues Releases Wiki Activity

make PropertyT solver agnostic

Browse Source
This commit is contained in:
kalmar 2017-03-16 18:19:40 +01:00
parent 39ca5697c9
commit 2948d0af76
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/PropertyT.jl
View File

@ -2,7 +2,6 @@ module PropertyT
using JLD using JLD
using GroupAlgebras using GroupAlgebras
import SCS.SCSSolver
using Memento using Memento
const logger = basic_config("info", fmt="{msg}") const logger = basic_config("info", fmt="{msg}")
@ -100,8 +99,8 @@ function κandA(name::String, sdp_constraints, Δ::GroupAlgebraElement, solver::
return κ, A return κ, A
end end
function check_property_T(name::String, ID, generate_B₄::Function; function check_property_T(name::String, ID, generate_B₄::Function,
tol=1e-6, upper_bound=Inf) solver, upper_bound, tol=1e-6)
if !isdir(name) if !isdir(name)
mkdir(name) mkdir(name)
@ -111,9 +110,6 @@ function check_property_T(name::String, ID, generate_B₄::Function;
info(logger, "Group: $name") info(logger, "Group: $name")
info(logger, "Precision: $tol") info(logger, "Precision: $tol")
# solver = MosekSolver(INTPNT_CO_TOL_REL_GAP=tol, QUIET=false)
solver = SCSSolver(eps=tol, max_iters=1000000, verbose=true)
Δ, sdp_constraints = try Δ, sdp_constraints = try
ΔandSDPconstraints(name) ΔandSDPconstraints(name)
catch err catch err