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

remove "if file exists..."

Browse Source
This commit is contained in:
kalmar 2017-06-06 16:22:50 +02:00
parent 222f0f40b5
commit 58521b9c2f
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
OrbitDecomposition.jl
View File

@ -273,12 +273,10 @@ function compute_orbit_data(name::String, N::Int)
BN = WreathProduct(Nemo.FiniteField(2,1, "a")[1], PermutationGroup(N))
if !isfile(joinpath(name, "orbits.jld"))
info("Decomposing E into orbits of B$(N)")
@time orbs = orbit_decomposition(BN, E4, E_dict)
@assert sum(length(o) for o in orbs) == length(E4)
save(joinpath(name, "orbits.jld"), "orbits", orbs)
end
info("Decomposing E into orbits of B$(N)")
@time orbs = orbit_decomposition(BN, E4, E_dict)
@assert sum(length(o) for o in orbs) == length(E4)
save(joinpath(name, "orbits.jld"), "orbits", orbs)
info("Action matrices")
E2 = E4[1:sizes[2]]