27 lines
406 B
Julia
27 lines
406 B
Julia
__precompile__()
|
|
module PropertyT
|
|
|
|
using AbstractAlgebra
|
|
using LinearAlgebra
|
|
using SparseArrays
|
|
using Dates
|
|
|
|
using Groups
|
|
using GroupRings
|
|
|
|
using JLD
|
|
using JuMP
|
|
|
|
import AbstractAlgebra: Group, NCRing
|
|
|
|
include("laplacians.jl")
|
|
include("RGprojections.jl")
|
|
include("orbitdata.jl")
|
|
include("sos_sdps.jl")
|
|
include("checksolution.jl")
|
|
|
|
include("1712.07167.jl")
|
|
include("1812.03456.jl")
|
|
|
|
end # module Property(T)
|