diff --git a/src/Orbit-wise.jl b/src/Orbit-wise.jl index fa612bc..5d81173 100644 --- a/src/Orbit-wise.jl +++ b/src/Orbit-wise.jl @@ -249,7 +249,7 @@ function check_property_T(sett::Settings) # @assert P == Symmetric(P) Q = real(sqrtm(Symmetric(P))) - sgap = PropertyT.check_distance_to_positive_cone(Δ, λ, Q, 2*sett.radius, tol=sett.tol, rational=false) + sgap = distance_to_positive_cone(Δ, λ, Q, 2*sett.radius) if isa(sgap, Interval) sgap = sgap.lo end diff --git a/src/PropertyT.jl b/src/PropertyT.jl index 35937e8..7368f6a 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -208,7 +208,7 @@ function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius) # @assert P == Symmetric(P) Q = real(sqrtm(Symmetric(P))) - sgap = check_distance_to_positive_cone(Δ, λ, Q, 2*radius, tol=tol) + sgap = distance_to_positive_cone(Δ, λ, Q, 2*radius) if isa(sgap, Interval) sgap = sgap.lo end