From 7f67a681763af78d11d6bcaec29398aff5630145 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 21 Jul 2017 13:21:38 +0200 Subject: [PATCH] compute parent of element as needed ==> avoid calling parent(g) --- src/DirectProducts.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/DirectProducts.jl b/src/DirectProducts.jl index 0842f37..2fa86bc 100644 --- a/src/DirectProducts.jl +++ b/src/DirectProducts.jl @@ -35,7 +35,8 @@ elem_type{T<:Group}(G::DirectProductGroup{T}) = parent_type{T<:GroupElem}(::Type{DirectProductGroupElem{T}}) = DirectProductGroup{parent_type(T)} -parent(g::DirectProductGroupElem) = DirectProductGroup([parent(h) for h in g.elts]) +parent(g::DirectProductGroupElem) = + DirectProductGroup(parent(first(g.elts)), length(g.elts)) ############################################################################### #