From 26f49ce9637c7f5f7163c91642d0fde7347b7be6 Mon Sep 17 00:00:00 2001 From: kalmar Date: Mon, 15 May 2017 09:52:46 +0200 Subject: [PATCH] deepcopy_internal of AutGroupElem --- src/AutGroup.jl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/AutGroup.jl b/src/AutGroup.jl index a48577e..c58cce6 100644 --- a/src/AutGroup.jl +++ b/src/AutGroup.jl @@ -157,6 +157,11 @@ end # ############################################################################### +function deepcopy_internal(g::AutGroupElem, dict::ObjectIdDict) + G = parent(g) + return G(AutGroupElem(g.str, g.pow, g.ex, g.func)) +end + hash(s::AutSymbol, h::UInt) = hash(s.str, hash(s.pow, hash(:AutSymbol, h))) function change_pow(s::AutSymbol, n::Int)