kalmar/GroupsWithPropertyT
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

update to AbstractAlgebra

Browse Source
This commit is contained in:
kalmarek 2018-07-31 12:42:58 +02:00
parent df940c8c07
commit b23a98d23e
2 changed files with 5 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
groups/autfreegroup.jl
View File

@ -1,11 +1,9 @@
module SpecialAutomorphisms module SpecialAutomorphisms
using Nemo using AbstractAlgebra
using Groups using Groups
if VERSION >= v"0.6.0" import AbstractAlgebra.perm
import Nemo.Generic.perm
end
############################################################################### ###############################################################################
# #
@ -47,12 +45,12 @@ function AutFG_emb(A::AutGroup, p::perm)
return A(Groups.perm_autsymbol(p)) return A(Groups.perm_autsymbol(p))
end end
function (g::WreathProductElem)(a::AutGroupElem) function (g::WreathProductElem)(a::Groups.Automorphism)
g = AutFG_emb(parent(a),g) g = AutFG_emb(parent(a),g)
return g*a*g^-1 return g*a*g^-1
end end
function (p::perm)(a::AutGroupElem) function (p::perm)(a::Groups.Automorphism)
g = AutFG_emb(parent(a),p) g = AutFG_emb(parent(a),p)
return g*a*g^-1 return g*a*g^-1
end end

4
groups/speciallinear.jl
View File

@ -3,9 +3,7 @@ module SpecialLinear
using Nemo using Nemo
using Groups using Groups
if VERSION >= v"0.6.0" import Nemo.Generic.perm
import Nemo.Generic.perm
end
############################################################################### ###############################################################################
# #