mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-10-19 08:05:36 +02:00
typed elem_type
This commit is contained in:
parent
78eded0124
commit
6b84254416
@ -28,7 +28,7 @@ end
|
|||||||
#
|
#
|
||||||
###############################################################################
|
###############################################################################
|
||||||
|
|
||||||
elem_type(G::DirectProductGroup) = DirectProductGroupElem
|
elem_type{T<:Group}(G::DirectProductGroup{T}) = DirectProductGroupElem{elem_type(first(G.factors))}
|
||||||
|
|
||||||
parent_type(::Type{DirectProductGroupElem}) = DirectProductGroup
|
parent_type(::Type{DirectProductGroupElem}) = DirectProductGroup
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user