diff --git a/src/Orbit-wise.jl b/src/Orbit-wise.jl index 94e2779..167d612 100644 --- a/src/Orbit-wise.jl +++ b/src/Orbit-wise.jl @@ -1,7 +1,4 @@ -using JuMP -using SCS - -export Settings, OrbitData +include("Projections.jl") ############################################################################### # diff --git a/src/OrbitDecomposition.jl b/src/OrbitDecomposition.jl index 81ba650..fb58045 100644 --- a/src/OrbitDecomposition.jl +++ b/src/OrbitDecomposition.jl @@ -1,5 +1,3 @@ -include("Projections.jl") - ############################################################################### # # Orbit stuff diff --git a/src/PropertyT.jl b/src/PropertyT.jl index 77072ca..1c0e1de 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -142,8 +142,10 @@ end include("Laplacians.jl") +include("Orbit-wise.jl") +include("OrbitDecomposition.jl") include("SDPs.jl") include("CheckSolution.jl") -include("Orbit-wise.jl") + end # module Property(T) diff --git a/src/SDPs.jl b/src/SDPs.jl index c706602..279ca66 100644 --- a/src/SDPs.jl +++ b/src/SDPs.jl @@ -1,4 +1,3 @@ -using JuMP function constraints(pm::Matrix{I}, total_length=maximum(pm)) where {I<:Integer} cnstrs = [Vector{I}() for _ in 1:total_length]