From a3091f71667c9ac1b694e9b6f14b2bc4704a4b29 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Sun, 26 Mar 2017 16:08:02 +0200
Subject: [PATCH] SL_generatingset returns also ID, no need for separate
 function

---
 SL.jl | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/SL.jl b/SL.jl
index 93b0561..dc723f2 100644
--- a/SL.jl
+++ b/SL.jl
@@ -60,14 +60,6 @@ function ΔandSDPconstraints{T<:Number}(identity::Array{T,2}, S::Vector{Array{T,
     return Δ, sdp_constraints
 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)
 You need to define:
@@ -174,7 +166,7 @@ function main()
         end
         Blas.set_num_threads(parsed_args["cpus"])
     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
 end