deepcopy_internal for FreeGroupElems

2017-05-15 09:54:28 +02:00 · 2017-05-15 09:54:28 +02:00 · 2d3ed657e7
parent bdca979fda
commit 2d3ed657e7
1 changed files with 5 additions and 0 deletions
--- a/src/FreeGroup.jl
+++ b/src/FreeGroup.jl
@ -79,6 +79,11 @@ end
 #
 ###############################################################################

+function deepcopy_internal(g::FreeGroupElem, dict::ObjectIdDict)
+   G = parent(g)
+   return G(FreeGroupElem(g.str, g.pow))
+end
+
 hash(s::FreeSymbol, h::UInt) = hash(s.str, hash(s.pow, hash(FreeSymbol, h)))

 change_pow(s::FreeSymbol, n::Int) = FreeSymbol(s.str, n)