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

add pm, Delta computation

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

14
OrbitDecomposition.jl
View File

@ -263,6 +263,13 @@ function compute_orbit_data(name::String, N::Int)
info("Reverse dict") info("Reverse dict")
@time E_dict = GroupRings.reverse_dict(E4) @time E_dict = GroupRings.reverse_dict(E4)
info("Product matrix")
@time pm = GroupRings.create_pm(E4, E_dict, sizes[2], twisted=true)
RSOutFN = GroupRing(SOutFN, E4, E_dict, pm)
Δ = PropertyT.splaplacian(RSOutFN, S)
@assert augmentation(Δ) == 0
save(joinpath(name, "delta.jld"), "Δ", Δ.coeffs)
save(joinpath(name, "pm.jld"), "pm", pm)
BN = WreathProduct(Nemo.FiniteField(2,1, "a")[1], PermutationGroup(N)) BN = WreathProduct(Nemo.FiniteField(2,1, "a")[1], PermutationGroup(N))
@ -274,13 +281,6 @@ function compute_orbit_data(name::String, N::Int)
end end
info("Action matrices") info("Action matrices")
pm = GroupRings.create_pm(E4, E_dict, sizes[2], twisted=true)
RSOutFN = GroupRing(SOutFN, E4, E_dict, pm)
PropertyT.splaplacian(RSOutFN, S)
E2 = E4[1:sizes[2]] E2 = E4[1:sizes[2]]
@time BNactionE_mreps = action_mreps(BN, E2, E_dict) @time BNactionE_mreps = action_mreps(BN, E2, E_dict)