From 9d2140b5a8b6ce398184a7f4afcb363e2a3fba52 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Mon, 9 Apr 2018 11:55:38 +0200 Subject: [PATCH] fix nature of idempotents --- src/Projections.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Projections.jl b/src/Projections.jl index e2534c1..cb989f3 100644 --- a/src/Projections.jl +++ b/src/Projections.jl @@ -83,15 +83,15 @@ function central_projection(RG::GroupRing, chi::AbstractCharacter, T::Type=Ratio return result end -function idempotents(RG::GroupRing{Generic.PermGroup{S}}, T::Type=Rational{S}) where S<:Integer +function idempotents(RG::GroupRing{Generic.PermGroup{S}}, T::Type=Rational{Int}) where S<:Integer if RG.group.n == 1 return GroupRingElem{T}[one(RG,T)] elseif RG.group.n == 2 Id = one(RG,T) transp = convert(T, RG(RG.group([2,1]))) return GroupRingElem{T}[1//2*(Id + transp), 1//2*(Id - transp)] - end + projs = Vector{Vector{Generic.perm{S}}}() for l in 2:RG.group.n u = RG.group([circshift([i for i in 1:l], -1); [i for i in l+1:RG.group.n]])