1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-26 10:35:29 +01:00

add generator of characters for PermGroup, DirectProductGroup

This commit is contained in:
kalmarek 2018-04-09 11:10:57 +02:00
parent 11365bf5b2
commit 44e3c9c0b9

View File

@ -54,6 +54,13 @@ for T in [PermCharacter, DirectProdCharacter]
end end
end end
characters(G::Generic.PermGroup) = (PermCharacter(p) for p in AllParts(G.n))
function characters(G::DirectProductGroup)
nfold_chars = Iterators.repeated(characters(G.group), G.n)
return (DirectProdCharacter(idx) for idx in Iterators.product(nfold_chars...))
end
############################################################################### ###############################################################################
# #
# Projections # Projections