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

use T to specify type of projection elements

This commit is contained in:
kalmar 2017-07-12 20:23:00 +02:00
parent 8819269689
commit 5906715902
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

@ -116,16 +116,17 @@ function rankOne_projections(G::PermutationGroup, T::Type=Rational{Int})
rankone_projs = [
projections[1],
projections[2],
1//2*(one(RG) - RG(RG.group([2,1,3])))*projections[3]
]
1//2*(one(RG, T) - RG(G([2,1,3]), T))*projections[3]
]
return rankone_projs
elseif G.n == 4
rankone_projs = [
projections[1],
projections[2],
1//2*(one(RG) - RG(RG.group([2,1,3,4])))*projections[3],
1//2*(one(RG) - RG(RG.group([2,1,3,4])))*projections[4],
1//2*(one(RG) + RG(RG.group([2,1,3,4])))*projections[5]]
1//2*(one(RG, T) - RG(G([2,1,3,4]), T))*projections[3],
1//2*(one(RG, T) - RG(G([2,1,3,4]), T))*projections[4],
1//2*(one(RG, T) + RG(G([2,1,3,4]), T))*projections[5]
]
return rankone_projs
else
throw("Rank-one projections for $G unknown!")