1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-19 07:20:28 +01:00

early exit if fp_distance <= 0

This commit is contained in:
kalmar 2017-04-17 15:22:33 +02:00
parent d65bb54929
commit c0da44754d

View File

@ -129,9 +129,9 @@ function check_distance_to_positive_cone(Δ::GroupAlgebraElement, λ, P;
info(logger, "Floating point distance (to positive cone) ≈ $(@sprintf("%.10f", fp_distance))")
info(logger, "------------------------------------------------------------")
# if fp_distance ≤ 0
# return fpdistance
# end
if fp_distance 0
return fpdistance
end
info(logger, "Projecting columns of rationalized Q to the augmentation ideal...")
δ = eps(λ)