mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-14 14:15:28 +01:00
Id = G() or one(G) is solved
This commit is contained in:
parent
668d403171
commit
86e0ed373d
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user