diff --git a/groups/autfreegroup.jl b/groups/autfreegroup.jl index 717048b..666f7c7 100644 --- a/groups/autfreegroup.jl +++ b/groups/autfreegroup.jl @@ -1,11 +1,9 @@ module SpecialAutomorphisms -using Nemo +using AbstractAlgebra using Groups -if VERSION >= v"0.6.0" - import Nemo.Generic.perm -end +import AbstractAlgebra.perm ############################################################################### # @@ -47,12 +45,12 @@ function AutFG_emb(A::AutGroup, p::perm) return A(Groups.perm_autsymbol(p)) end -function (g::WreathProductElem)(a::AutGroupElem) +function (g::WreathProductElem)(a::Groups.Automorphism) g = AutFG_emb(parent(a),g) return g*a*g^-1 end -function (p::perm)(a::AutGroupElem) +function (p::perm)(a::Groups.Automorphism) g = AutFG_emb(parent(a),p) return g*a*g^-1 end diff --git a/groups/speciallinear.jl b/groups/speciallinear.jl index 1eb863e..87c3b04 100644 --- a/groups/speciallinear.jl +++ b/groups/speciallinear.jl @@ -3,9 +3,7 @@ module SpecialLinear using Nemo using Groups -if VERSION >= v"0.6.0" - import Nemo.Generic.perm -end +import Nemo.Generic.perm ############################################################################### #