From 8631e5d16bc72a803e5664c50ff9aab3061e8c81 Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 12 Jul 2017 21:05:21 +0200 Subject: [PATCH] type DirectProductGroup/Elems after type of single factor This limits the scope of DirectProductGroup/Elems to pure direct products --- src/DirectProducts.jl | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/src/DirectProducts.jl b/src/DirectProducts.jl index df722f7..080f24d 100644 --- a/src/DirectProducts.jl +++ b/src/DirectProducts.jl @@ -14,16 +14,12 @@ Implements direct product of groups as vector factors. The group operation is `*` distributed component-wise, with component-wise identity as neutral element. """ -type DirectProductGroup <: Group - factors::Vector{Group} - operations::Vector{Function} +immutable DirectProductGroup{T<:Group} <: Group + factors::Vector{T} end -type DirectProductGroupElem <: GroupElem - elts::Vector{GroupElem} - parent::DirectProductGroup - - DirectProductGroupElem{T<:GroupElem}(a::Vector{T}) = new(a) +immutable DirectProductGroupElem{T<:GroupElem} <: GroupElem + elts::Vector{T} end ###############################################################################