From 88fa1ded311c9e96788723053095861563d58dda Mon Sep 17 00:00:00 2001 From: kalmarek Date: Wed, 5 Sep 2018 18:30:41 +0200 Subject: [PATCH] remove files for running particular groups everything is handled by run.jl --- AutFn.jl | 65 ------------------------------------------------------ FPgroup.jl | 62 --------------------------------------------------- SLn.jl | 62 --------------------------------------------------- 3 files changed, 189 deletions(-) delete mode 100644 AutFn.jl delete mode 100644 FPgroup.jl delete mode 100644 SLn.jl diff --git a/AutFn.jl b/AutFn.jl deleted file mode 100644 index 2c4841b..0000000 --- a/AutFn.jl +++ /dev/null @@ -1,65 +0,0 @@ -using ArgParse - -############################################################################### -# -# Parsing command line -# -############################################################################### - -function parse_commandline() - s = ArgParseSettings() - - @add_arg_table s begin - "--tol" - help = "set numerical tolerance for the SDP solver" - arg_type = Float64 - default = 1e-6 - "--iterations" - help = "set maximal number of iterations for the SDP solver" - arg_type = Int - default = 50000 - "--upper-bound" - help = "Set an upper bound for the spectral gap" - arg_type = Float64 - default = Inf - "--cpus" - help = "Set number of cpus used by solver (default: auto)" - arg_type = Int - required = false - "--radius" - help = "Radius of ball B_r(e,S) to find solution over" - arg_type = Int - default = 2 - "--warmstart" - help = "Use warmstart.jld as the initial guess for SCS" - action = :store_true - "--nosymmetry" - help = "Don't use symmetries of the Laplacian" - action = :store_true - "N" - help = "Compute for the automorphisms group of the free group on N generators" - arg_type = Int - required = true - end - return parse_args(s) -end -const PARSEDARGS = parse_commandline() - -#= -Note that the element - α(i,j,k) = ϱ(i,j)*ϱ(i,k)*inv(ϱ(i,j))*inv(ϱ(i,k)), -which surely belongs to ball of radius 4 in Aut(Fₙ) becomes trivial under the representation - Aut(Fₙ) → GLₙ(ℤ)⋉ℤⁿ → GL_(n+1)(ℂ). -Moreover, due to work of Potapchik and Rapinchuk [1] every real representation of Aut(Fₙ) into GLₘ(ℂ) (for m ≤ 2n-2) factors through GLₙ(ℤ)⋉ℤⁿ, so will have the same problem. - -We need a different approach: Here we actually compute in (S)Aut(𝔽ₙ) -=# - -include("CPUselect.jl") -set_parallel_mthread(PARSEDARGS, workers=true) - -include("main.jl") - -G = PropertyTGroups.SpecialAutomorphismGroup(PARSEDARGS) - -main(G) diff --git a/FPgroup.jl b/FPgroup.jl deleted file mode 100644 index 9cea32d..0000000 --- a/FPgroup.jl +++ /dev/null @@ -1,62 +0,0 @@ -using ArgParse - -function parse_commandline() - args = ArgParseSettings() - - @add_arg_table args begin - "--tol" - help = "set numerical tolerance for the SDP solver" - arg_type = Float64 - default = 1e-6 - "--iterations" - help = "set maximal number of iterations for the SDP solver" - arg_type = Int - default = 50000 - "--upper-bound" - help = "Set an upper bound for the spectral gap" - arg_type = Float64 - default = Inf - "--cpus" - help = "Set number of cpus used by solver (default: auto)" - arg_type = Int - required = false - "--radius" - help = "Radius of ball B_r(e,S) to find solution over" - arg_type = Int - default = 2 - "--warmstart" - help = "Use warmstart.jl as the initial guess for SCS" - action = :store_true - "--MCG" - help = "Compute for mapping class group of surface of genus N" - arg_type = Int - required = false - "--Higman" - help = "Compute for Higman Group" - action = :store_true - "--Caprace" - help = "Compute for Higman Group" - action = :store_true - end - - return parse_args(args) -end -const PARSEDARGS = parse_commandline() - -include("CPUselect.jl") -set_parallel_mthread(PARSEDARGS, workers=false) - -include("main.jl") -include("FPGroups_GAP.jl") - -if PARSEDARGS["Caprace"] - G = PropertyTGroups.CapraceGroup(PARSEDARGS) -elseif PARSEDARGS["Higman"] - G = PropertyTGroups.HigmanGroup(PARSEDARGS) -elseif PARSEDARGS["MCG"] != nothing - G = PropertyTGroups.MappingClassGroup(PARSEDARGS) -else - throw("You need to specify one of the --Higman, --Caprace, --MCG N") -end - -main(G) diff --git a/SLn.jl b/SLn.jl deleted file mode 100644 index c4d31fb..0000000 --- a/SLn.jl +++ /dev/null @@ -1,62 +0,0 @@ -using ArgParse - -############################################################################### -# -# Parsing command line -# -############################################################################### - -function parse_commandline() - settings = ArgParseSettings() - - @add_arg_table settings begin - "--tol" - help = "set numerical tolerance for the SDP solver" - arg_type = Float64 - default = 1e-6 - "--iterations" - help = "set maximal number of iterations for the SDP solver" - arg_type = Int - default = 50000 - "--upper-bound" - help = "Set an upper bound for the spectral gap" - arg_type = Float64 - default = Inf - "--cpus" - help = "Set number of cpus used by solver" - arg_type = Int - required = false - "--radius" - help = "Radius of ball B_r(e,S) to find solution over" - arg_type = Int - default = 2 - "--warmstart" - help = "Use warmstart.jld as the initial guess for SCS" - action = :store_true - "--nosymmetry" - help = "Don't use symmetries of the Laplacian" - action = :store_true - "-p" - help = "Matrices over field of p-elements (p=0 => over ZZ)" - arg_type = Int - default = 0 - "-X" - help = "Consider EL(N, ZZ⟨X⟩)" - action = :store_true - "N" - help = "Compute with the group generated by elementary matrices of size n×n" - arg_type = Int - default = 2 - end - return parse_args(settings) -end -const PARSEDARGS = parse_commandline() - -include("CPUselect.jl") -set_parallel_mthread(PARSEDARGS, workers=true) - -include("main.jl") - -G = PropertyTGroups.SpecialLinearGroup(PARSEDARGS) - -main(G)