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

init_data returns, Group, S and the laplacian

Browse Source
This commit is contained in:
kalmar 2017-06-07 11:06:54 +02:00
parent 95b06ccaf5
commit eee9b3b767
1 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
Orb_AutFN.jl
View File

@ -206,19 +206,21 @@ end
function init_data(name::String, N::Int, logger; radius=2) function init_data(name::String, N::Int, logger; radius=2)
SOutFN = AutGroup(FreeGroup(N), special=true, outer=true)
info(logger, SOutFN)
S = generators(SOutFN);
S = [S; [inv(s) for s in S]]
info(logger, "Symmetric generating set of size $(length(S))")
info(logger, S)
ex(fname) = isfile(joinpath(name, fname)) ex(fname) = isfile(joinpath(name, fname))
conditions = ex.(["delta.jld", "pm.jld", "U_pis.jld", "orbits.jld"]) conditions = ex.(["delta.jld", "pm.jld", "U_pis.jld", "orbits.jld"])
if !all(conditions) if !all(conditions)
SOutFN = AutGroup(FreeGroup(N), special=true, outer=true)
info(logger, SOutFN)
S = generators(SOutFN);
S = [S; [inv(s) for s in S]]
info(logger, "Symmetric generating set of size $(length(S))")
info(logger, S)
compute_orbit_data(logger, name, SOutFN, S, radius=radius) compute_orbit_data(logger, name, SOutFN, S, radius=radius)
end end
return 0
return SOutFN, S, PropertyT.ΔandSDPconstraints(name, SOutFN)[1]
end end
function main() function main()
@ -239,8 +241,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)
init_data(dirname, N, logger, radius=radius)
tol = parsed_args["tol"] tol = parsed_args["tol"]
iterations = parsed_args["iterations"] iterations = parsed_args["iterations"]