From 330319abbc6e284d76bb9feef002180dfe196748 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Wed, 4 Oct 2017 21:32:23 +0200 Subject: [PATCH] Rename Out -> Aut --- AutFN_orbit.jl | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/AutFN_orbit.jl b/AutFN_orbit.jl index fecc019..73a3276 100644 --- a/AutFN_orbit.jl +++ b/AutFN_orbit.jl @@ -46,13 +46,13 @@ end # ############################################################################### -function SOutFN_generating_set(N::Int) +function SAutFN_generating_set(N::Int) - SOutFN = AutGroup(FreeGroup(N), special=true, outer=true) - S = gens(SOutFN); + SAutFN = AutGroup(FreeGroup(N), special=true) + S = gens(SAutFN); S = [S; [inv(s) for s in S]] - return SOutFN, unique(S) + return SAutFN, unique(S) end ############################################################################### @@ -127,7 +127,7 @@ function main() iterations = parsed_args["iterations"] upper_bound = parsed_args["upper-bound"] - dirname = "oSOutF$(N)_$(upper_bound)_r=$radius" + dirname = "oSAutF$(N)_$(upper_bound)_r=$radius" logger = PropertyT.setup_logging(dirname) @@ -136,7 +136,7 @@ function main() info(logger, "Precision: $tol") info(logger, "Upper bound: $upper_bound") - G, S = SOutFN_generating_set(N) + G, S = SAutFN_generating_set(N) info(logger, G) info(logger, "Symmetric generating set of size $(length(S))") info(logger, S)