1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-26 17:05:27 +01:00

separate Projections into a module

This commit is contained in:
kalmarek 2018-04-08 22:45:18 +02:00
parent e5b4b9220b
commit 2d89c38657
2 changed files with 8 additions and 1 deletions

View File

@ -201,7 +201,7 @@ function compute_orbit_data{T<:GroupElem}(logger, name::String, S::Vector{T}, au
reps = matrix_reps(reps) reps = matrix_reps(reps)
info(logger, "Projections") 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] @logtime logger π_E_projections = [Cstar_repr(p, reps) for p in autS_mps]

View File

@ -1,3 +1,8 @@
module Projections
using Nemo
using Groups
using GroupRings
############################################################################### ###############################################################################
# #
# Characters of Symmetric Group and DirectProduct # Characters of Symmetric Group and DirectProduct
@ -227,3 +232,5 @@ function rankOne_projections(BN::WreathProduct, T::Type=Rational{Int})
end end
return elts return elts
end end
end # of module Projections