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

parse radius from command line

Browse Source
This commit is contained in:
kalmar 2017-06-06 18:00:23 +02:00
parent 7f65823c2d
commit 603ff57a45
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Orb_AutF4.jl
View File

@ -165,6 +165,10 @@ function parse_commandline()
help = "Consider automorphisms of free group on N generators (default: N=2)" help = "Consider automorphisms of free group on N generators (default: N=2)"
arg_type = Int arg_type = Int
default = 2 default = 2
"--radius"
help = "Find the decomposition over B_r(e,S)"
arg_type = Int
default = 2
end end
return parse_args(s) return parse_args(s)
@ -222,6 +226,7 @@ function main()
if !isdir(name) if !isdir(name)
throw("Create dir with all the required orbit data first!") throw("Create dir with all the required orbit data first!")
end end
radius = parsed_args["radius"]
logger = PropertyT.setup_logging(name) logger = PropertyT.setup_logging(name)