export PermCharacter, DirectProdCharacter, rankOne_projection

from Projections module
2018-04-09 11:13:39 +02:00 · 2018-04-09 11:13:39 +02:00 · 27569c11d8
parent 44e3c9c0b9
commit 27569c11d8
1 changed files with 3 additions and 0 deletions
--- a/src/Projections.jl
+++ b/src/Projections.jl
@ -3,6 +3,9 @@ module Projections
 using Nemo
 using Groups
 using GroupRings
+
+export PermCharacter, DirectProdCharacter, rankOne_projections
+
 ###############################################################################
 #
 #  Characters of Symmetric Group and DirectProduct