diff --git a/src/Projections.jl b/src/Projections.jl index 5d0da91..1d759ab 100644 --- 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