kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-23 08:15:29 +01:00
Code Issues Releases Wiki Activity

fix: central_projection asks for AbstractCharacter

Browse Source
This commit is contained in:
kalmar 2017-07-28 12:23:36 +02:00
parent 4bb52bd34b
commit 706097931a
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/Projections.jl
View File

@ -63,7 +63,7 @@ end
function rankOne_projections(G::PermutationGroup, T::Type=Rational{Int}) function rankOne_projections(G::PermutationGroup, T::Type=Rational{Int})
RG = GroupRing(G) RG = GroupRing(G)
cprojs = [central_projection(RG, χ, T) for χ in (character(λ) for λ in Partitions(G.n))] cprojs = [central_projection(RG, χ, T) for χ in (PermCharacter(λ) for λ in Partitions(G.n))]
if G.n == 1 || G.n == 2 if G.n == 1 || G.n == 2
return cprojs return cprojs
@ -114,11 +114,10 @@ function rankOne_projections(BN::WreathProduct, T::Type=Rational{Int})
# embedding into group ring of BN # embedding into group ring of BN
RBN = GroupRing(BN) RBN = GroupRing(BN)
RFFFF_projs = [ RFFFF_projs = [central_projection(GroupRing(BN.N), DirectProdCharacter(i),T)
central_projection(GroupRing(BN.N), g->epsilon(i,g), T) for i in 1:BN.P.n for i in 1:BN.P.n]
]
e0 = central_projection(GroupRing(BN.N), g->epsilon(0,g), T) e0 = central_projection(GroupRing(BN.N), DirectProdCharacter(0), T)
Q0 = RBN(e0, g -> BN(g)) Q0 = RBN(e0, g -> BN(g))
Qs = [RBN(q, g -> BN(g)) for q in RFFFF_projs] Qs = [RBN(q, g -> BN(g)) for q in RFFFF_projs]