1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-25 02:15:29 +01:00
This commit is contained in:
kalmar 2017-05-28 20:06:21 +02:00
parent 247287b892
commit f987ae7622

View File

@ -127,7 +127,7 @@ function check_distance_to_positive_cone(Δ::GroupRingElem, λ, P;
info(logger, "------------------------------------------------------------") info(logger, "------------------------------------------------------------")
if fp_distance 0 if fp_distance 0
return fpdistance return fp_distance
end end
info(logger, "Projecting columns of rationalized Q to the augmentation ideal...") info(logger, "Projecting columns of rationalized Q to the augmentation ideal...")