kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-30 10:00:28 +01:00
Code Issues Releases Wiki Activity

parametrise central_projection by the type of character

Browse Source
This commit is contained in:
kalmar 2017-07-17 09:43:19 +02:00
parent 05691b5202
commit 820517a04e
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Projections.jl
View File

@ -95,15 +95,15 @@ end
# #
############################################################################### ###############################################################################
function central_projection(RG::GroupRing, char::Function, T::Type=Rational{Int}) function central_projection{F<:Function}(RG::GroupRing, chi::F, T::Type=Rational{Int})
result = RG(T) result = RG(T)
result.coeffs = full(result.coeffs) result.coeffs = full(result.coeffs)
for g in RG.basis for g in RG.basis
result[g] = char(g) result[g] = chi(g)
end end
dim = result[RG.group()] dim = result[RG.group()]
ord = Int(order(RG.group)) ord = Int(order(RG.group))
return convert(T, (dim//ord)*result) return convert(T, (dim//ord))*result
end end
function rankOne_projections(G::PermutationGroup, T::Type=Rational{Int}) function rankOne_projections(G::PermutationGroup, T::Type=Rational{Int})