mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-19 07:20:28 +01:00
mv Orbit-wise, SDPs → orbitdata, sos_sdps; rm OrbitDecomposition
This commit is contained in:
parent
edb4e70228
commit
dedf342ba2
@ -142,9 +142,9 @@ end
|
|||||||
|
|
||||||
|
|
||||||
include("Laplacians.jl")
|
include("Laplacians.jl")
|
||||||
include("Orbit-wise.jl")
|
|
||||||
include("OrbitDecomposition.jl")
|
include("OrbitDecomposition.jl")
|
||||||
include("SDPs.jl")
|
include("orbitdata.jl")
|
||||||
|
include("sos_sdps.jl")
|
||||||
include("CheckSolution.jl")
|
include("CheckSolution.jl")
|
||||||
|
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user