diff --git a/src/GroupRings.jl b/src/GroupRings.jl index 1d8182c..40722cf 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -185,10 +185,6 @@ end # ############################################################################### -function deepcopy_internal(X::GroupRingElem, dict::ObjectIdDict) - return GroupRingElem(deepcopy(X.coeffs), parent(X)) -end - function hash(X::GroupRingElem, h::UInt) return hash(X.coeffs, hash(parent(X), hash(GroupRingElem, h))) end