From 3c0ecd2e73543c29da7a6ae7215901bedd8b32ef Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 22 Jun 2017 15:14:15 +0200 Subject: [PATCH] DirectProducts and WreathProducts are in Groups now --- src/Projections.jl | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/src/Projections.jl b/src/Projections.jl index 37db2e2..604fa74 100644 --- a/src/Projections.jl +++ b/src/Projections.jl @@ -1,6 +1,3 @@ -using DirectProducts -using WreathProducts - ############################################################################### # # 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)) end @@ -102,7 +99,7 @@ function rankOne_projections(G::PermutationGroup, T::Type=Rational{Int}) 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 # projections as elements of the group rings RSâ‚™