diff --git a/Orb_AutFN.jl b/Orb_AutFN.jl index d964929..98cec76 100644 --- a/Orb_AutFN.jl +++ b/Orb_AutFN.jl @@ -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