kalmar
/
PropertyT.jl
mirror of https://github.com/kalmarek/PropertyT.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

DirectProducts and WreathProducts are in Groups now

This commit is contained in:
kalmar 2017-06-22 15:14:15 +02:00
parent dca65e571e
commit 3c0ecd2e73
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Projections.jl
View File

@ -1,6 +1,3 @@
using DirectProducts
using WreathProducts
############################################################################### ###############################################################################
# #
# Characters of PermutationGroup # Characters of PermutationGroup
@ -58,7 +55,7 @@ end
# #
############################################################################### ###############################################################################
function epsilon(i, g::DirectProducts.DirectProductGroupElem) function epsilon(i, g::DirectProductGroupElem)
return reduce(*, 1, ((-1)^isone(g.elts[j]) for j in 1:i)) return reduce(*, 1, ((-1)^isone(g.elts[j]) for j in 1:i))
end end
@ -102,7 +99,7 @@ function rankOne_projections(G::PermutationGroup, T::Type=Rational{Int})
end end
end end
function rankOne_projections(BN::WreathProducts.WreathProduct, T::Type=Rational{Int}) function rankOne_projections(BN::WreathProduct, T::Type=Rational{Int})
N = BN.P.n N = BN.P.n
# projections as elements of the group rings RSₙ # projections as elements of the group rings RSₙ