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

add leading "o" to groupname in Orbit.jl

This commit is contained in:
kalmarek 2018-01-04 10:48:54 +01:00
parent 476d532d93
commit 98df554624
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Orbit.jl
View File

@ -20,7 +20,7 @@ function main(GROUP, parsed_args)
G, S = GROUP.generatingset(parsed_args) G, S = GROUP.generatingset(parsed_args)
autS = GROUP.autS(parsed_args) autS = GROUP.autS(parsed_args)
name = "$(name)_r$radius" name = "o$(name)_r$radius"
isdir(name) || mkdir(name) isdir(name) || mkdir(name)
logger = PropertyT.setup_logging(joinpath(name, "$(upper_bound)")) logger = PropertyT.setup_logging(joinpath(name, "$(upper_bound)"))

2
SAutFNs.jl
View File

@ -75,6 +75,6 @@ function groupname(parsed_args)
return groupname(N), N return groupname(N), N
end end
groupname(N::Int) = "oSAutF$(N)" groupname(N::Int) = "SAutF$(N)"
end # of module SAutFNs end # of module SAutFNs

8
SLNs.jl
View File

@ -108,15 +108,15 @@ function groupname(parsed_args)
return groupname(N, p, X), N return groupname(N, p, X), N
end end
function groupname(N, p=0, X=false) function groupname(N::Int, p::Int=0, X::Bool=false)
if p == 0 if p == 0
if X if X
name = "oSL$(N)Z⟨X⟩" name = "SL$(N)Z⟨X⟩"
else else
name = "oSL$(N)Z" name = "SL$(N)Z"
end end
else else
name = "oSL$(N)_$p" name = "SL$(N)_$p"
end end
return name return name
end end