kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-26 10:35:29 +01:00
Code Issues Releases Wiki Activity

function goes first in GroupRing constructor

Browse Source
This commit is contained in:
kalmarek 2018-08-15 19:16:24 +02:00
parent 677ae32ee2
commit 854ddb42a1
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/Projections.jl
View File

@ -177,23 +177,24 @@ function rankOne_projections(RBn::GroupRing{G}, T::Type=Rational{Int}) where {G<
# Bn.N = (Z/2Z)ⁿ characters corresponding to the first k coordinates: # Bn.N = (Z/2Z)ⁿ characters corresponding to the first k coordinates:
BnN_orbits = Dict(i => orbit_selector(N, i, sign, id) for i in 0:N) BnN_orbits = Dict(i => orbit_selector(N, i, sign, id) for i in 0:N)
Q = Dict(i => RBn(central_projection(RN, BnN_orbits[i], T), g -> Bn(g)) for i in 0:N) Q = Dict(i => RBn(g -> Bn(g), central_projection(RN, BnN_orbits[i], T)) for i in 0:N)
Q = Dict(key => full(val) for (key, val) in Q)
all_projs = [Q[0]*RBn(p, g->Bn(g)) for p in Sn_rankOnePr[N]] all_projs = [Q[0]*RBn(g->Bn(g), p) for p in Sn_rankOnePr[N]]
r = collect(1:N) r = collect(1:N)
for i in 1:N-1 for i in 1:N-1
first_emb = g->Bn(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(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(first_emb, p) for p in Sn_rankOnePr[i])
Sk_last = (RBn(p, last_emb) for p in Sn_rankOnePr[N-i]) Sk_last = (RBn(last_emb, p) for p in Sn_rankOnePr[N-i])
append!(all_projs, append!(all_projs,
[Q[i]*p1*p2 for (p1,p2) in Base.product(Sk_first,Sk_last)]) [Q[i]*p1*p2 for (p1,p2) in Base.product(Sk_first,Sk_last)])
end end
append!(all_projs, [Q[N]*RBn(p, g->Bn(g)) for p in Sn_rankOnePr[N]]) append!(all_projs, [Q[N]*RBn(g->Bn(g), p) for p in Sn_rankOnePr[N]])
return all_projs return all_projs
end end