diff --git a/Orbit.jl b/Orbit.jl index f606364..1f9aaac 100644 --- a/Orbit.jl +++ b/Orbit.jl @@ -2,9 +2,6 @@ using SCS.SCSSolver # using Mosek using Nemo -if VERSION >= v"0.6.0" - import Nemo.Generic.perm -end using PropertyT using Groups diff --git a/SAutFNs.jl b/SAutFNs.jl index 1864029..6d27abc 100644 --- a/SAutFNs.jl +++ b/SAutFNs.jl @@ -3,6 +3,10 @@ module SAutFNs using Nemo using Groups +if VERSION >= v"0.6.0" + import Nemo.Generic.perm +end + ############################################################################### # # Generating set diff --git a/SLNs.jl b/SLNs.jl index cd40348..8a94451 100644 --- a/SLNs.jl +++ b/SLNs.jl @@ -3,6 +3,10 @@ module SLNs using Nemo using Groups +if VERSION >= v"0.6.0" + import Nemo.Generic.perm +end + ############################################################################### # # Generating set