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