From 36a0e8593d6674ddd4e91b8ca0135887515a090f Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 21 Jul 2017 15:59:47 +0200 Subject: [PATCH] new multiplication --- src/WreathProducts.jl | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) diff --git a/src/WreathProducts.jl b/src/WreathProducts.jl index 2970c69..3ad96fd 100644 --- a/src/WreathProducts.jl +++ b/src/WreathProducts.jl @@ -171,14 +171,6 @@ end # ############################################################################### -function wreath_multiplication(g::WreathProductElem, h::WreathProductElem) - parent(g) == parent(h) || throw("Can not multiply elements from different - groups!") - G = parent(g) - w = G.N((h.n).elts[inv(g.p).d]) - return G(g.n*w, g.p*h.p) -end - doc""" *(g::WreathProductElem, h::WreathProductElem) > Return the wreath product group operation of elements, i.e. @@ -188,9 +180,10 @@ doc""" > where g.p(h.n) denotes the action of `g.p::perm` on > `h.n::DirectProductGroupElem` via standard permutation of coordinates. """ -(*)(g::WreathProductElem, h::WreathProductElem) = wreath_multiplication(g,h) - - +function *(g::WreathProductElem, h::WreathProductElem) + w = DirectProductGroupElem((h.n).elts[inv(g.p).d]) + return WreathProductElem(g.n*w, g.p*h.p) +end doc""" inv(g::WreathProductElem)