1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-22 16:05:27 +01:00

simplify WreathProductElem action on Automorphisms

This commit is contained in:
kalmarek 2019-06-28 01:11:27 +02:00
parent 55b7ed09bc
commit 7e854f902a
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15

View File

@ -289,11 +289,10 @@ end
function (g::WreathProductElem)(a::Groups.Automorphism)
A = parent(a)
g = AutFG_emb(A,g)
res = A()
Groups.r_multiply!(res, g.symbols, reduced=false)
Groups.r_multiply!(res, a.symbols, reduced=false)
Groups.r_multiply!(res, [inv(s) for s in reverse!(g.symbols)])
g_emb = AutFG_emb(A,g)
res = deepcopy(g_emb)
res = Groups.r_multiply!(res, a.symbols, reduced=false)
res = Groups.r_multiply!(res, [inv(s) for s in reverse!(g_emb.symbols)])
return res
end