mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-08-16 09:57:28 +02:00
accommodate latest changes in Nemo characters
This commit is contained in:
parent
9d3eec6812
commit
0a3b5b227d
@ -21,7 +21,7 @@ function central_projection(RG::GroupRing, chi::Function, T::Type=Rational{Int})
|
|||||||
ord = Int(order(RG.group))
|
ord = Int(order(RG.group))
|
||||||
|
|
||||||
for g in RG.basis
|
for g in RG.basis
|
||||||
result[g] = convert(T, (dim//ord)*chi(g))
|
result[g] = convert(T, (Int(dim)//ord)*Int(chi(g)))
|
||||||
end
|
end
|
||||||
|
|
||||||
return result
|
return result
|
||||||
@ -29,7 +29,7 @@ end
|
|||||||
|
|
||||||
function rankOne_projections(G::PermutationGroup, T::Type=Rational{Int})
|
function rankOne_projections(G::PermutationGroup, T::Type=Rational{Int})
|
||||||
RG = GroupRing(G)
|
RG = GroupRing(G)
|
||||||
cprojs = [central_projection(RG, χ, T) for χ in (character(λ) for λ in IntPartitions(G.n))]
|
cprojs = [central_projection(RG, χ, T) for χ in (character(λ) for λ in Partitions(G.n))]
|
||||||
|
|
||||||
if G.n == 1 || G.n == 2
|
if G.n == 1 || G.n == 2
|
||||||
return cprojs
|
return cprojs
|
||||||
|
Loading…
Reference in New Issue
Block a user