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

Rename Out -> Aut

This commit is contained in:
kalmarek 2017-10-04 21:32:23 +02:00
parent 106abbe5c1
commit 330319abbc
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
AutFN_orbit.jl
View File

@ -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)