From dedf342ba2403c2edec3bac46d59259a8c05a642 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Sun, 9 Sep 2018 11:35:13 +0200 Subject: [PATCH] =?UTF-8?q?mv=20Orbit-wise,=20SDPs=20=E2=86=92=20orbitdata?= =?UTF-8?q?,=20sos=5Fsdps;=20rm=20OrbitDecomposition?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/PropertyT.jl | 4 ++-- src/{Orbit-wise.jl => orbitdata.jl} | 0 src/{SDPs.jl => sos_sdps.jl} | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename src/{Orbit-wise.jl => orbitdata.jl} (100%) rename src/{SDPs.jl => sos_sdps.jl} (100%) 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