kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-09-18 09:38:00 +02:00
Code Issues Releases Wiki Activity

rankOne_projections MUST be computed over exact field (e.g. Rational{Int})

Browse Source
This commit is contained in:
kalmarek 2017-11-08 15:39:51 +01:00
parent d7652c4e02
commit e746aaeeff
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Projections.jl
View File

@ -142,7 +142,7 @@ function rankOne_projections(BN::WreathProduct, T::Type=Rational{Int})
N = BN.P.n N = BN.P.n
# projections as elements of the group rings RSₙ # projections as elements of the group rings RSₙ
SNprojs_nc = [rankOne_projections(PermutationGroup(i), T) for i in 1:N] SNprojs_nc = [rankOne_projections(PermutationGroup(i)) for i in 1:N]
# embedding into group ring of BN # embedding into group ring of BN
RBN = GroupRing(BN) RBN = GroupRing(BN)