From 86e0ed373d521aae94b09f105e693d4b30705dbd Mon Sep 17 00:00:00 2001 From: kalmarek Date: Mon, 20 Aug 2018 03:50:56 +0200 Subject: [PATCH] Id = G() or one(G) is solved --- src/PropertyT.jl | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/PropertyT.jl b/src/PropertyT.jl index 0c4ab10..004ea56 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -101,9 +101,7 @@ end Kazhdan(λ::Number,N::Integer) = sqrt(2*λ/N) -function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius, warm::Bool=false) - - isdir(name) || mkdir(name) +function check_property_T(name::String, S, solver, upper_bound, tol, radius, warm::Bool=false) if exists(filename(name, :pm)) && exists(filename(name, :Δ)) # cached