From 37af8ec218b00e144154484d218c3bb1c6e452c4 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Fri, 21 Sep 2018 19:08:21 +0200 Subject: [PATCH] remove automatic AdditiveGroup from WreathProductElem --- src/WreathProducts.jl | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/WreathProducts.jl b/src/WreathProducts.jl index a383b32..f3f31f1 100644 --- a/src/WreathProducts.jl +++ b/src/WreathProducts.jl @@ -65,12 +65,8 @@ parent(g::WreathProductElem) = WreathProduct(parent(g.n[1]), parent(g.p)) WreathProduct(G::T, P::Generic.PermGroup{I}) where {T, I} = WreathProduct{T, I}(G, P) -WreathProduct(G::T, P::Generic.PermGroup{I}) where {T<:AbstractAlgebra.Ring, I} = WreathProduct(AddGrp(G), P) - WreathProductElem(n::DirectProductGroupElem{T}, p::Generic.perm{I}, check=true) where {T,I} = WreathProductElem{T,I}(n, p, check) -WreathProductElem(n::DirectProductGroupElem{T}, p::Generic.perm{I}, check=true) where {T<:AbstractAlgebra.RingElem, I} = WreathProductElem(DirectProductGroupElem(AddGrpElem.(n.elts)), p, check) - ############################################################################### # # Parent object call overloads