deepcopy_internal is handled in Groups.jl

2017-05-15 17:29:47 +02:00 · 2017-05-15 17:29:47 +02:00 · f505b00502
parent 7db7119a29
commit f505b00502
1 changed files with 0 additions and 5 deletions
--- a/src/FreeGroup.jl
+++ b/src/FreeGroup.jl
@ -79,11 +79,6 @@ 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)