From d78f1ec38af0ff546d2f5dab47dedcccbce65310 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Mon, 30 Jul 2018 14:53:20 +0200 Subject: [PATCH] remove specialized deepcopy --- src/DirectProducts.jl | 5 ----- src/WreathProducts.jl | 4 ---- 2 files changed, 9 deletions(-) diff --git a/src/DirectProducts.jl b/src/DirectProducts.jl index c833daa..a0975fd 100644 --- a/src/DirectProducts.jl +++ b/src/DirectProducts.jl @@ -177,11 +177,6 @@ end # ############################################################################### -function deepcopy_internal(g::DirectProductGroupElem, dict::ObjectIdDict) - G = parent(g) - return G(deepcopy(g.elts)) -end - function hash(G::DirectProductGroup, h::UInt) return hash(G.group, hash(G.n, hash(DirectProductGroup,h))) end diff --git a/src/WreathProducts.jl b/src/WreathProducts.jl index 08ed9ad..da3f31e 100644 --- a/src/WreathProducts.jl +++ b/src/WreathProducts.jl @@ -118,10 +118,6 @@ doc""" # ############################################################################### -function deepcopy_internal(g::WreathProductElem, dict::ObjectIdDict) - return WreathProductElem(deepcopy(g.n), deepcopy(g.p), false) -end - function hash(G::WreathProduct, h::UInt) return hash(G.N, hash(G.P, hash(WreathProduct, h))) end