mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-12-05 02:11:27 +01:00
new multiplication
This commit is contained in:
parent
620b970f62
commit
36a0e8593d
@ -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"""
|
doc"""
|
||||||
*(g::WreathProductElem, h::WreathProductElem)
|
*(g::WreathProductElem, h::WreathProductElem)
|
||||||
> Return the wreath product group operation of elements, i.e.
|
> 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
|
> where g.p(h.n) denotes the action of `g.p::perm` on
|
||||||
> `h.n::DirectProductGroupElem` via standard permutation of coordinates.
|
> `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"""
|
doc"""
|
||||||
inv(g::WreathProductElem)
|
inv(g::WreathProductElem)
|
||||||
|
Loading…
Reference in New Issue
Block a user