mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-12-04 10:06:27 +01:00
fix: WreathProductElem is typed only after GroupElem
This commit is contained in:
parent
b7151d1fc2
commit
aad2907c51
@ -49,8 +49,7 @@ end
|
|||||||
#
|
#
|
||||||
###############################################################################
|
###############################################################################
|
||||||
|
|
||||||
elem_type{T<:Group}(G::WreathProduct{T}) =
|
elem_type{T<:Group}(G::WreathProduct{T}) = WreathProductElem{elem_type(T)}
|
||||||
WreathProductElem{G.N.n, elem_type(T)}
|
|
||||||
|
|
||||||
parent_type{T<:GroupElem}(::WreathProductElem{T}) =
|
parent_type{T<:GroupElem}(::WreathProductElem{T}) =
|
||||||
WreathProduct{parent_type(T)}
|
WreathProduct{parent_type(T)}
|
||||||
|
Loading…
Reference in New Issue
Block a user