From af74ae6fb01fb89951fc32180968248a90c5a775 Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 12 Jul 2017 20:23:27 +0200 Subject: [PATCH] add hand-crafted projections for PermutationGroup(5) --- src/Projections.jl | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/src/Projections.jl b/src/Projections.jl index 816eaa9..acc0090 100644 --- a/src/Projections.jl +++ b/src/Projections.jl @@ -128,6 +128,22 @@ function rankOne_projections(G::PermutationGroup, T::Type=Rational{Int}) 1//2*(one(RG, T) + RG(G([2,1,3,4]), T))*projections[5] ] return rankone_projs + elseif G.n == 5 + p⁺ = 1//2*(one(RG, T) + RG(G([2,1,3,4,5]), T)) + p⁻ = 1//2*(one(RG, T) - RG(G([2,1,3,4,5]), T)) + + q⁺ = 1//2*(one(RG, T) + RG(G([1,2,4,3,5]), T)) + q⁻ = 1//2*(one(RG, T) - RG(G([1,2,4,3,5]), T)) + + rankone_projs = [ + projections[1], + projections[2], + p⁻*projections[3], + p⁺*projections[4], + p⁺*q⁺*projections[5], + p⁻*q⁻*projections[6], + p⁺*q⁺*projections[7] + ] else throw("Rank-one projections for $G unknown!") end