From b89e60e50816103ab256d389e2938f5a0d7933a9 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 21 Jul 2017 13:40:54 +0200 Subject: [PATCH] standard outer constructors for WreathProduct{Elem} --- src/WreathProducts.jl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/WreathProducts.jl b/src/WreathProducts.jl index 3d086a3..e034052 100644 --- a/src/WreathProducts.jl +++ b/src/WreathProducts.jl @@ -59,7 +59,10 @@ parent(g::WreathProductElem) = WreathProduct(parent(g.n[1]), parent(g.p)) # ############################################################################### -# converts??? +WreathProduct{T<:Group}(G::T, P::PermGroup) = WreathProduct{T}(G, P) + +WreathProductElem{T<:GroupElem}(n::DirectProductGroupElem{T}, + p::perm) = WreathProductElem{T}(n, p) ############################################################################### #