kalmar
/
PropertyT.jl
mirror of https://github.com/kalmarek/PropertyT.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

migrate Projections to AbstractAlgebra

This commit is contained in:
kalmarek 2018-07-31 09:43:35 +02:00
parent 5d6c4f8290
commit f5afcf4dfb
1 changed files with 7 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/Projections.jl
View File

@ -1,6 +1,6 @@
module Projections module Projections
using Nemo using AbstractAlgebra
using Groups using Groups
using GroupRings using GroupRings
@ -31,15 +31,12 @@ function (chi::DirectProdCharacter)(g::DirectProductGroupElem)
end end
function (chi::PermCharacter)(g::Generic.perm) function (chi::PermCharacter)(g::Generic.perm)
R = Nemo.partitionseq(chi.p) R = AbstractAlgebra.partitionseq(chi.p)
p = Partition(Nemo.Generic.permtype(g)) p = Partition(Generic.permtype(g))
return Int(Nemo.Generic.MN1inner(R, p, 1, Nemo.Generic._charvalsTable)) return Int(Generic.MN1inner(R, p, 1, Generic._charvalsTable))
end end
function Nemo.dim(χ::PermCharacter) AbstractAlgebra.dim(χ::PermCharacter) = dim(YoungTableau(χ.p))
G = PermutationGroup(sum(χ.p))
return χ(G())
end
for T in [PermCharacter, DirectProdCharacter] for T in [PermCharacter, DirectProdCharacter]
@eval begin @eval begin
@ -180,8 +177,8 @@ function rankOne_projections(Bn::WreathProduct, T::Type=Rational{Int})
r = collect(1:N) r = collect(1:N)
for i in 1:N-1 for i in 1:N-1
first_emb = g->Bn(Nemo.Generic.emb!(Bn.P(), g, view(r, 1:i))) first_emb = g->Bn(Generic.emb!(Bn.P(), g, view(r, 1:i)))
last_emb = g->Bn(Nemo.Generic.emb!(Bn.P(), g, view(r, (i+1):N))) last_emb = g->Bn(Generic.emb!(Bn.P(), g, view(r, (i+1):N)))
Sk_first = (RBn(p, first_emb) for p in Sn_rankOnePr[i]) Sk_first = (RBn(p, first_emb) for p in Sn_rankOnePr[i])
Sk_last = (RBn(p, last_emb) for p in Sn_rankOnePr[N-i]) Sk_last = (RBn(p, last_emb) for p in Sn_rankOnePr[N-i])