kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-19 15:25:29 +01:00
Code Issues Releases Wiki Activity

cosmetic

Browse Source
This commit is contained in:
kalmarek 2017-08-27 20:24:18 +02:00
parent be1251f274
commit 972697e2ba
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Projections.jl
View File

@ -157,9 +157,11 @@ function rankOne_projections(BN::WreathProduct, T::Type=Rational{Int})
range = collect(1:N) range = collect(1:N)
for i in 1:N-1 for i in 1:N-1
first_emb = g->BN(Nemo.emb!(BN.P(), g, range[1:i]))
last_emb = g->BN(Nemo.emb!(BN.P(), g, range[i+1:end]))
Sk_first = [RBN(p, g->BN(Nemo.emb!(BN.P(), g, range[1:i]))) for p in SNprojs_nc[i]] Sk_first = [RBN(p, first_emb) for p in SNprojs_nc[i]]
Sk_last = [RBN(p, g->BN(Nemo.emb!(BN.P(), g, range[i+1:end]))) for p in SNprojs_nc[N-i]] Sk_last = [RBN(p, last_emb ) for p in SNprojs_nc[N-i]]
append!(all_projs, append!(all_projs,
[Qs[i]*p1*p2 for (p1,p2) in Base.product(Sk_first,Sk_last)]) [Qs[i]*p1*p2 for (p1,p2) in Base.product(Sk_first,Sk_last)])