kalmar
/
Groups.jl
mirror of https://github.com/kalmarek/Groups.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

concrete updates to elem_type, parent_type

This commit is contained in:
kalmar 2017-07-21 13:36:04 +02:00
parent fa996d68fb
commit a6f0685313
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/WreathProducts.jl
View File

@ -45,9 +45,11 @@ end
#
###############################################################################
elem_type(::WreathProduct) = WreathProductElem
elem_type{T<:Group}(G::WreathProduct{T}) =
WreathProductElem{G.N.n, elem_type(T)}
parent_type(::WreathProductElem) = WreathProduct
parent_type{T<:GroupElem}(::WreathProductElem{T}) =
WreathProduct{parent_type(T)}
parent(g::WreathProductElem) = g.parent