mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-23 08:15:29 +01:00
cut on allocating another GrupRingElement
This commit is contained in:
parent
143695ed24
commit
d603bbd329
@ -95,15 +95,17 @@ end
|
|||||||
#
|
#
|
||||||
###############################################################################
|
###############################################################################
|
||||||
|
|
||||||
function central_projection(RG::GroupRing, char::Function, T::Type=Rational{Int})
|
function central_projection(RG::GroupRing, chi::Function, 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
|
dim = chi(RG.group())
|
||||||
result[g] = char(g)
|
|
||||||
end
|
|
||||||
dim = result[RG.group()]
|
|
||||||
ord = Int(order(RG.group))
|
ord = Int(order(RG.group))
|
||||||
return convert(T, (dim//ord)*result)
|
|
||||||
|
for g in RG.basis
|
||||||
|
result[g] = convert(T, (dim//ord)*chi(g))
|
||||||
|
end
|
||||||
|
|
||||||
|
return result)
|
||||||
end
|
end
|
||||||
|
|
||||||
function rankOne_projections(G::PermutationGroup, T::Type=Rational{Int})
|
function rankOne_projections(G::PermutationGroup, T::Type=Rational{Int})
|
||||||
|
Loading…
Reference in New Issue
Block a user