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