From 451245419cd1eefa764800b8c361af77240460aa Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 12 Jul 2017 20:15:31 +0200 Subject: [PATCH] add characters for PermutationGroup(5) --- src/Projections.jl | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/src/Projections.jl b/src/Projections.jl index 436d816..9ca9ca0 100644 --- a/src/Projections.jl +++ b/src/Projections.jl @@ -42,6 +42,38 @@ function chars(G::PermutationGroup) end return [χ_id, χ_sgn, χ_regviaS3, χ_reg, χ_regsgn] + + elseif G.n == 5 + + function ϱ(σ::Nemo.perm) + vals = Dict{Vector{Int}, Int}( + [1,1,1,1,1] => 5, + [1,1,1,2] => 1, + [1,2,2] => 1, + [1,1,3] =>-1, + [2,3] => 1, + [1,4] =>-1, + [5] => 0 + ) + return vals[permtype(σ)] + end + + ϱ_sgn(σ::Nemo.perm) = sign(σ)*ϱ(σ) + + function ψ(σ::Nemo.perm) + vals = Dict{Vector{Int}, Int}( + [1,1,1,1,1] => 6, + [1,1,1,2] => 0, + [1,2,2] => -2, + [1,1,3] => 0, + [2,3] => 0, + [1,4] => 0, + [5] => 1 + ) + return vals[permtype(σ)] + end + + return [χ_id, χ_sgn, χ_reg, χ_regsgn, ϱ, ϱ_sgn, ψ] else throw("Characters for $G unknown!") end