diff --git a/src/PropertyT.jl b/src/PropertyT.jl index 1c0e1de..e52b55e 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -142,9 +142,9 @@ end include("Laplacians.jl") -include("Orbit-wise.jl") include("OrbitDecomposition.jl") -include("SDPs.jl") +include("orbitdata.jl") +include("sos_sdps.jl") include("CheckSolution.jl") diff --git a/src/Orbit-wise.jl b/src/orbitdata.jl similarity index 100% rename from src/Orbit-wise.jl rename to src/orbitdata.jl diff --git a/src/SDPs.jl b/src/sos_sdps.jl similarity index 100% rename from src/SDPs.jl rename to src/sos_sdps.jl