1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-22 16:05:27 +01:00

mv Laplacians, Projections and CheckSolution

to laplacians, RGprojections and checksolution
This commit is contained in:
kalmarek 2018-09-09 11:50:26 +02:00
parent bb5ed331d3
commit 23449ed3c0
5 changed files with 2 additions and 4 deletions

View File

@ -140,8 +140,8 @@ function interpret_results(sett::Settings, sgap::Number)
return false
end
include("Laplacians.jl")
include("laplacians.jl")
include("RGprojections.jl")
include("orbitdata.jl")
include("sos_sdps.jl")
include("CheckSolution.jl")

View File

@ -1,5 +1,3 @@
include("Projections.jl")
###############################################################################
#
# OrbitData