kalmar
/
GroupsWithPropertyT
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

standardise interface and fix comments

This commit is contained in:
kalmarek 2018-03-22 11:03:11 +01:00
parent 98b2417ae1
commit 4c26db6ee8
4 changed files with 14 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
AutFN.jl
View File

@ -60,7 +60,7 @@ function parse_commandline()
"--iterations" "--iterations"
help = "set maximal number of iterations for the SDP solver" help = "set maximal number of iterations for the SDP solver"
arg_type = Int arg_type = Int
default = 20000 default = 50000
"--upper-bound" "--upper-bound"
help = "Set an upper bound for the spectral gap" help = "Set an upper bound for the spectral gap"
arg_type = Float64 arg_type = Float64
@ -73,6 +73,13 @@ function parse_commandline()
help = "Consider automorphisms of free group on N generators" help = "Consider automorphisms of free group on N generators"
arg_type = Int arg_type = Int
default = 2 default = 2
"--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
end end
return parse_args(s) return parse_args(s)

4
AutFN_orbit.jl
View File

@ -15,7 +15,7 @@ function parse_commandline()
arg_type = Float64 arg_type = Float64
default = 1e-14 default = 1e-14
"--iterations" "--iterations"
help = "set maximal number of iterations for the SDP solver (default: 20000)" help = "set maximal number of iterations for the SDP solver"
arg_type = Int arg_type = Int
default = 60000 default = 60000
"--upper-bound" "--upper-bound"
@ -35,7 +35,7 @@ function parse_commandline()
arg_type = Int arg_type = Int
default = 2 default = 2
"--warmstart" "--warmstart"
help = "Use warmstart.jl as the initial guess for SCS" help = "Use warmstart.jld as the initial guess for SCS"
action = :store_true action = :store_true
end end

4
SL.jl
View File

@ -15,7 +15,7 @@ function parse_commandline()
arg_type = Float64 arg_type = Float64
default = 1e-6 default = 1e-6
"--iterations" "--iterations"
help = "set maximal number of iterations for the SDP solver (default: 20000)" help = "set maximal number of iterations for the SDP solver"
arg_type = Int arg_type = Int
default = 50000 default = 50000
"--upper-bound" "--upper-bound"
@ -42,7 +42,7 @@ function parse_commandline()
help = "Consider EL(N, ZZ⟨X⟩)" help = "Consider EL(N, ZZ⟨X⟩)"
action = :store_true action = :store_true
"--warmstart" "--warmstart"
help = "Use warmstart.jl as the initial guess for SCS" help = "Use warmstart.jld as the initial guess for SCS"
action = :store_true action = :store_true
end end

4
SL_orbit.jl
View File

@ -15,7 +15,7 @@ function parse_commandline()
arg_type = Float64 arg_type = Float64
default = 1e-14 default = 1e-14
"--iterations" "--iterations"
help = "set maximal number of iterations for the SDP solver (default: 20000)" help = "set maximal number of iterations for the SDP solver"
arg_type = Int arg_type = Int
default = 60000 default = 60000
"--upper-bound" "--upper-bound"
@ -42,7 +42,7 @@ function parse_commandline()
help = "Consider EL(N, ZZ⟨X⟩)" help = "Consider EL(N, ZZ⟨X⟩)"
action = :store_true action = :store_true
"--warmstart" "--warmstart"
help = "Use warmstart.jl as the initial guess for SCS" help = "Use warmstart.jld as the initial guess for SCS"
action = :store_true action = :store_true
end end