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

fix: PermCharacter is in Projections, not in PropertyT

Browse Source
This commit is contained in:
kalmarek 2018-04-09 11:14:39 +02:00
parent 27569c11d8
commit a0cc9d62c9
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

@ -36,7 +36,7 @@ function (chi::PermCharacter)(g::Generic.perm)
return Int(Nemo.Generic.MN1inner(R, p, 1, Nemo.Generic._charvalsTable))
end
function Nemo.dim(χ::PropertyT.PermCharacter)
function Nemo.dim(χ::PermCharacter)
G = PermutationGroup(sum(χ.p))
return χ(G())
end