From 6b84254416d92c8a78587eb5ba66ad4feda1d132 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Wed, 12 Jul 2017 21:06:07 +0200
Subject: [PATCH] typed elem_type

---
 src/DirectProducts.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/DirectProducts.jl b/src/DirectProducts.jl
index 74512c1..a34d3fd 100644
--- a/src/DirectProducts.jl
+++ b/src/DirectProducts.jl
@@ -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