diff --git a/AutFN.jl b/AutFN.jl index 1614703..9abf543 100644 --- a/AutFN.jl +++ b/AutFN.jl @@ -60,7 +60,7 @@ function parse_commandline() "--iterations" help = "set maximal number of iterations for the SDP solver" arg_type = Int - default = 20000 + default = 50000 "--upper-bound" help = "Set an upper bound for the spectral gap" arg_type = Float64 @@ -73,6 +73,13 @@ function parse_commandline() help = "Consider automorphisms of free group on N generators" arg_type = Int 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 return parse_args(s) diff --git a/AutFN_orbit.jl b/AutFN_orbit.jl index c562ed7..f42d251 100644 --- a/AutFN_orbit.jl +++ b/AutFN_orbit.jl @@ -15,7 +15,7 @@ function parse_commandline() arg_type = Float64 default = 1e-14 "--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 default = 60000 "--upper-bound" @@ -35,7 +35,7 @@ function parse_commandline() arg_type = Int default = 2 "--warmstart" - help = "Use warmstart.jl as the initial guess for SCS" + help = "Use warmstart.jld as the initial guess for SCS" action = :store_true end diff --git a/SL.jl b/SL.jl index 21e5f28..4e32752 100644 --- a/SL.jl +++ b/SL.jl @@ -15,7 +15,7 @@ function parse_commandline() arg_type = Float64 default = 1e-6 "--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 default = 50000 "--upper-bound" @@ -42,7 +42,7 @@ function parse_commandline() help = "Consider EL(N, ZZ⟨X⟩)" action = :store_true "--warmstart" - help = "Use warmstart.jl as the initial guess for SCS" + help = "Use warmstart.jld as the initial guess for SCS" action = :store_true end diff --git a/SL_orbit.jl b/SL_orbit.jl index 07548d3..6668ee6 100644 --- a/SL_orbit.jl +++ b/SL_orbit.jl @@ -15,7 +15,7 @@ function parse_commandline() arg_type = Float64 default = 1e-14 "--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 default = 60000 "--upper-bound" @@ -42,7 +42,7 @@ function parse_commandline() help = "Consider EL(N, ZZ⟨X⟩)" action = :store_true "--warmstart" - help = "Use warmstart.jl as the initial guess for SCS" + help = "Use warmstart.jld as the initial guess for SCS" action = :store_true end