From a6f0685313734d7b192464fa8e2ec9a441599ade Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Fri, 21 Jul 2017 13:36:04 +0200
Subject: [PATCH] concrete updates to elem_type, parent_type

---
 src/WreathProducts.jl | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/WreathProducts.jl b/src/WreathProducts.jl
index 659e361..6b294e0 100644
--- a/src/WreathProducts.jl
+++ b/src/WreathProducts.jl
@@ -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