1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-30 10:00:28 +01:00

my Characters return Julia's Ints

This commit is contained in:
kalmar 2017-07-27 22:06:32 +02:00
parent 93ba763402
commit 4bb52bd34b

View File

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