From f9ccff01a808f6f857640bcf99fc9c2924209e61 Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 11 May 2017 18:03:06 +0200 Subject: [PATCH] deepcopy_internal override to protect ParentObject from duplication --- src/Groups.jl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/Groups.jl b/src/Groups.jl index 5cbf51c..bc3bd2f 100644 --- a/src/Groups.jl +++ b/src/Groups.jl @@ -60,7 +60,12 @@ function hash(W::GWord, h::UInt) W.modified && reduce!(W) return W.savedhash $ h end + +function deepcopy_internal{T<:GSymbol}(W::GWord{T}, dict::ObjectIdDict) + G = parent(W) + return G(GWord{T}(deepcopy(W.symbols))) end + length(W::GWord) = sum([length(s) for s in W.symbols]) function free_reduce!(W::GWord)