From 7510198187b51caecf20f4cbc9a9d558c3567303 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 9 Jun 2017 22:04:30 +0200 Subject: [PATCH] add using DirectProducts, WreathProducts --- Projections.jl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Projections.jl b/Projections.jl index 6901557..2a8d946 100644 --- a/Projections.jl +++ b/Projections.jl @@ -1,3 +1,6 @@ +using DirectProducts +using WreathProducts + ############################################################################### # # Characters of PermutationGroup