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

add --warmstart flag

Browse Source
This commit is contained in:
kalmarek 2017-12-21 13:10:24 +01:00
parent 9d6a2df02d
commit c345d664a7
3 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
AutFN_orbit.jl
View File

@ -34,6 +34,9 @@ function parse_commandline()
help = "Radius of ball B_r(e,S) to find solution over" help = "Radius of ball B_r(e,S) to find solution over"
arg_type = Int arg_type = Int
default = 2 default = 2
"--warmstart"
help = "Use warmstart.jl as the initial guess for SCS"
action = :store_false
end end
return parse_args(settings) return parse_args(settings)

3
Orbit.jl
View File

@ -14,6 +14,7 @@ function main(GROUP, parsed_args)
tol = parsed_args["tol"] tol = parsed_args["tol"]
iterations = parsed_args["iterations"] iterations = parsed_args["iterations"]
upper_bound = parsed_args["upper-bound"] upper_bound = parsed_args["upper-bound"]
warm = parsed_args["warmstart"]
name, N = GROUP.groupname(parsed_args) name, N = GROUP.groupname(parsed_args)
G, S = GROUP.generatingset(parsed_args) G, S = GROUP.generatingset(parsed_args)
@ -46,7 +47,7 @@ function main(GROUP, parsed_args)
# solver = SDPA.SDPASolver(epsilonStar=tol, epsilonDash=tol) # solver = SDPA.SDPASolver(epsilonStar=tol, epsilonDash=tol)
sett = Settings(name, N, G, S, autS, radius, solver, upper_bound, tol, true) sett = Settings(name, N, G, S, autS, radius, solver, upper_bound, tol, warm)
PropertyT.check_property_T(sett) PropertyT.check_property_T(sett)
end end

3
SL_orbit.jl
View File

@ -41,6 +41,9 @@ function parse_commandline()
"-X" "-X"
help = "Consider EL(N, ZZ⟨X⟩)" help = "Consider EL(N, ZZ⟨X⟩)"
action = :store_true action = :store_true
"--warmstart"
help = "Use warmstart.jl as the initial guess for SCS"
action = :store_false
end end
return parse_args(settings) return parse_args(settings)