wlen is no longer a kwarg in check_distance_to_positive_cone

This commit is contained in:
kalmar 2017-06-09 11:59:25 +02:00
parent c6c3cba728
commit b9cdfb3a97

View File

@ -198,7 +198,7 @@ function orbit_check_propertyT(logger, sett::Settings)
info(logger, "minimum(P) = $(minimum(P))")
if λ > 0
sgap = PropertyT.check_distance_to_positive_cone(Δ, λ, P, tol=sett.tol, rational=false, len=2*sett.radius)
sgap = PropertyT.check_distance_to_positive_cone(Δ, λ, P, 2*sett.radius, tol=sett.tol, rational=false)
if isa(sgap, Interval)
sgap = sgap.lo
end