kalmar/GroupsWithPropertyT
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

central projection is defined as \Sum\chi(inv(g))g

Browse Source
This commit is contained in:
kalmar 2017-06-21 16:46:22 +02:00
parent b5c069b2a8
commit c8c75dc1e7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Projections.jl
View File

@ -71,7 +71,7 @@ end
function central_projection(RG::GroupRing, char::Function, T::Type=Rational{Int}) function central_projection(RG::GroupRing, char::Function, T::Type=Rational{Int})
result = RG(T) result = RG(T)
for g in RG.basis for g in RG.basis
result[g] = char(g) result[g] = char(inv(g))
end end
return convert(T, char(RG.group())//Int(order(RG.group))*result) return convert(T, char(RG.group())//Int(order(RG.group))*result)
end end