From 139381078136d9a7cd0eac8263ff31dc55904764 Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 17 May 2017 12:51:08 +0200 Subject: [PATCH] parents are always defined for GroupRingElems --- src/GroupRings.jl | 1 - 1 file changed, 1 deletion(-) diff --git a/src/GroupRings.jl b/src/GroupRings.jl index 8085ab4..8ddedbf 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -291,7 +291,6 @@ end ############################################################################### function star(X::GroupRingElem) - isdefined(X, :parent) || throw("Define parent object for $X first") RG = parent(X) isdefined(RG, :basis) || complete(RG) result = RG()