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

SOutFN_generating_set

Browse Source
This commit is contained in:
kalmar 2017-06-08 16:48:22 +02:00
parent aaba1a056a
commit 04b7622840
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
Orb_AutFN.jl
View File

@ -204,7 +204,7 @@ function λandP(m::JuMP.Model, data::ProblemData)
return λ, recP return λ, recP
end end
function init_data(name::String, N::Int, logger; radius=2) function SOutFN_generating_set(logger, name::String, N::Int)
SOutFN = AutGroup(FreeGroup(N), special=true, outer=true) SOutFN = AutGroup(FreeGroup(N), special=true, outer=true)
info(logger, SOutFN) info(logger, SOutFN)
@ -213,6 +213,9 @@ function init_data(name::String, N::Int, logger; radius=2)
info(logger, "Symmetric generating set of size $(length(S))") info(logger, "Symmetric generating set of size $(length(S))")
info(logger, S) info(logger, S)
return SOutFN, S
end
function init_orbit_data{T<:Nemo.GroupElem}(logger, name::String, G::Nemo.Group, function init_orbit_data{T<:Nemo.GroupElem}(logger, name::String, G::Nemo.Group,
S::Vector{T}; radius=2) S::Vector{T}; radius=2)
@ -245,7 +248,7 @@ function main()
Blas.set_num_threads(parsed_args["cpus"]) Blas.set_num_threads(parsed_args["cpus"])
end end
G, S, Δ = init_data(dirname, N, logger, radius=radius) G, S = SOutFN_generating_set(logger, dirname, N)
init_orbit_data(logger, dirname, G, S; radius=2) init_orbit_data(logger, dirname, G, S; radius=2)