mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-12-03 17:56:28 +01:00
argument name is not used in elem_type
This commit is contained in:
parent
f8dfa91980
commit
2e6372576e
@ -49,7 +49,7 @@ end
|
||||
#
|
||||
###############################################################################
|
||||
|
||||
elem_type{T<:Group}(G::WreathProduct{T}) = WreathProductElem{elem_type(T)}
|
||||
elem_type{T<:Group}(::WreathProduct{T}) = WreathProductElem{elem_type(T)}
|
||||
|
||||
parent_type{T<:GroupElem}(::Type{WreathProductElem{T}}) =
|
||||
WreathProduct{parent_type(T)}
|
||||
|
Loading…
Reference in New Issue
Block a user