1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-05 02:11:27 +01:00

reworked inv + doc

This commit is contained in:
kalmar 2017-07-21 16:02:44 +02:00
parent 70a8a9b72d
commit c60e5a8c5c

View File

@ -184,12 +184,11 @@ end
doc""" doc"""
inv(g::WreathProductElem) inv(g::WreathProductElem)
> Returns the inverse of element of a wreath product, according to the formula > Returns the inverse of element of a wreath product, according to the formula
> g^-1 = (g.n, g.p)^-1 = (g.p^-1(g.n^-1), g.p^-1). > `g^-1 = (g.n, g.p)^-1 = (g.p^-1(g.n^-1), g.p^-1)`.
""" """
function inv(g::WreathProductElem) function inv(g::WreathProductElem)
G = parent(g) w = DirectProductGroupElem(inv(g.n).elts[g.p.d])
w = G.N(inv(g.n).elts[g.p.d]) return WreathProductElem(w, inv(g.p), false)
return G(w, inv(g.p))
end end
############################################################################### ###############################################################################