From 27569c11d8852bd103f3b584ee09968c075706e2 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Mon, 9 Apr 2018 11:13:39 +0200
Subject: [PATCH] export PermCharacter, DirectProdCharacter, rankOne_projection

from Projections module
---
 src/Projections.jl | 3 +++
 1 file changed, 3 insertions(+)

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