type DirectProductGroup/Elems after type of single factor

This limits the scope of DirectProductGroup/Elems to pure direct products
This commit is contained in:
kalmar 2017-07-12 21:05:21 +02:00
parent b07550cd37
commit 8631e5d16b
1 changed files with 4 additions and 8 deletions

View File

@ -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
###############################################################################