From 3a50399fb0bc077fb2809c10f3c913c9de695335 Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 17 May 2017 11:47:13 +0200 Subject: [PATCH] remove completetion of (::GroupRingElem) --- src/GroupRings.jl | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/GroupRings.jl b/src/GroupRings.jl index bde75f7..f832d8a 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -310,10 +310,4 @@ function complete(A::GroupRing) return A end -function complete(X::GroupRingElem) - isdefined(X, :parent) || throw("You have to define parent of X before!") - complete(parent(X)) - return X -end - end # of module GroupRings