From 5ea5093f42c490ce82df4cf193a060a935e2afd2 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Wed, 8 Aug 2018 00:30:06 +0200 Subject: [PATCH] remove main_gapgroup.jl --- main_gapgroup.jl | 40 ---------------------------------------- 1 file changed, 40 deletions(-) delete mode 100644 main_gapgroup.jl diff --git a/main_gapgroup.jl b/main_gapgroup.jl deleted file mode 100644 index 80693e5..0000000 --- a/main_gapgroup.jl +++ /dev/null @@ -1,40 +0,0 @@ -using SCS.SCSSolver -# using Mosek -# using CSDP -# using SDPA - -include("FPGroups_GAP.jl") - -function main(GROUP, parsed_args) - - radius = parsed_args["radius"] - tol = parsed_args["tol"] - iterations = parsed_args["iterations"] - upper_bound = parsed_args["upper-bound"] - warm = parsed_args["warmstart"] - - name, N = GROUP.groupname(parsed_args) - G, S = GROUP.generatingset(N) - - isdir(name) || mkdir(name) - logger = PropertyT.setup_logging(joinpath(name, "$(upper_bound)"), :fulllog) - - relations = [k*inv(v) for (k,v) in G.rels] - prepare_pm_delta(name, GAP_groupcode(S, relations), radius) - - S = unique([S; inv.(S)]) - - info(logger, "Group: $name") - info(logger, "Iterations: $iterations") - info(logger, "Precision: $tol") - info(logger, "Upper bound: $upper_bound") - info(logger, "Radius: $radius") - info(logger, "Threads: $(Threads.nthreads())") - info(logger, "Workers: $(workers())") - info(logger, G) - info(logger, "Symmetric generating set of size $(length(S))") - - solver = SCSSolver(eps=tol, max_iters=iterations, linearsolver=SCS.Direct, alpha=1.95, acceleration_lookback=1) - - return PropertyT.check_property_T(name, S, G(), solver, upper_bound, tol, radius, warm) -end