From 2d89c38657c217cfdd17b811cedd6a5cebe80262 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Sun, 8 Apr 2018 22:45:18 +0200 Subject: [PATCH] separate Projections into a module --- src/OrbitDecomposition.jl | 2 +- src/Projections.jl | 7 +++++++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/src/OrbitDecomposition.jl b/src/OrbitDecomposition.jl index 9dee717..5899bc4 100644 --- a/src/OrbitDecomposition.jl +++ b/src/OrbitDecomposition.jl @@ -201,7 +201,7 @@ function compute_orbit_data{T<:GroupElem}(logger, name::String, S::Vector{T}, au reps = matrix_reps(reps) info(logger, "Projections") - @logtime logger autS_mps = rankOne_projections(autS); + @logtime logger autS_mps = Projections.rankOne_projections(autS); @logtime logger π_E_projections = [Cstar_repr(p, reps) for p in autS_mps] diff --git a/src/Projections.jl b/src/Projections.jl index eef067a..79ab4fa 100644 --- a/src/Projections.jl +++ b/src/Projections.jl @@ -1,3 +1,8 @@ +module Projections + +using Nemo +using Groups +using GroupRings ############################################################################### # # Characters of Symmetric Group and DirectProduct @@ -227,3 +232,5 @@ function rankOne_projections(BN::WreathProduct, T::Type=Rational{Int}) end return elts end + +end # of module Projections