kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-12 15:16:27 +01:00
Code Issues Releases Wiki Activity

store only single factor and multiplicity in DirectProductGroup

Browse Source
This commit is contained in:
kalmar 2017-07-21 13:19:56 +02:00
parent a78e4ccea2
commit d02c5afc65
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/DirectProducts.jl
View File

@ -9,13 +9,14 @@ export DirectProductGroup, DirectProductGroupElem
###############################################################################
doc"""
DirectProductGroup(factors::Vector{Group}) <: Group
Implements direct product of groups as vector factors. The group operation is
DirectProductGroup(G::Group, n::Int) <: Group
Implements `n`-fold direct product of `G`. The group operation is
`*` distributed component-wise, with component-wise identity as neutral element.
"""
immutable DirectProductGroup{T<:Group} <: Group
factors::Vector{T}
group::T
n::Int
end
immutable DirectProductGroupElem{T<:GroupElem} <: GroupElem