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

group together matrix/C*-representation functions

Browse Source
This commit is contained in:
kalmar 2017-06-08 20:03:22 +02:00
parent 6ee187ec59
commit 72ea3f5e0a
1 changed files with 11 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
OrbitDecomposition.jl
View File

@ -88,6 +88,19 @@ function orbit_decomposition(G::Nemo.Group, E::Vector, rdict=GroupRings.reverse_
return orbits return orbits
end end
end
end
end
###############################################################################
#
# Matrix- and C*-representations
#
###############################################################################
function matrix_repr(g::WreathProductElem, E, E_dict) function matrix_repr(g::WreathProductElem, E, E_dict)
rep_matrix = spzeros(Int, length(E), length(E)) rep_matrix = spzeros(Int, length(E), length(E))
for (i,e) in enumerate(E) for (i,e) in enumerate(E)
@ -97,16 +110,6 @@ function matrix_repr(g::WreathProductElem, E, E_dict)
return rep_matrix return rep_matrix
end end
end
end
end
end
end
function Cstar_repr(x::GroupRingElem, matrix_reps) function Cstar_repr(x::GroupRingElem, matrix_reps)
res = zeros(matrix_reps[1]) res = zeros(matrix_reps[1])
for i in 1:length(parent(x).basis) for i in 1:length(parent(x).basis)