SL_generatingset returns also ID, no need for separate function

This commit is contained in:
kalmar 2017-03-26 16:08:02 +02:00
parent 6570c99300
commit a3091f7166

10
SL.jl
View File

@ -60,14 +60,6 @@ function ΔandSDPconstraints{T<:Number}(identity::Array{T,2}, S::Vector{Array{T,
return Δ, sdp_constraints return Δ, sdp_constraints
end end
ID(n::Int) = eye(Int, n)
function ID(n::Int, p::Int)
p==0 && return ID(n)
return [Mod(x,p) for x in eye(Int,n)]
end
#= #=
To use file property(T).jl (specifically: check_property_T function) To use file property(T).jl (specifically: check_property_T function)
You need to define: You need to define:
@ -174,7 +166,7 @@ function main()
end end
Blas.set_num_threads(parsed_args["cpus"]) Blas.set_num_threads(parsed_args["cpus"])
end end
@time PropertyT.check_property_T(name, ID(N,p), S, solver, upper_bound, tol) @time PropertyT.check_property_T(name, S, solver, upper_bound, tol)
return 0 return 0
end end