diff --git a/src/CheckSolution.jl b/src/CheckSolution.jl index 8c49dfb..b80756f 100644 --- a/src/CheckSolution.jl +++ b/src/CheckSolution.jl @@ -148,8 +148,7 @@ function check_distance_to_positive_cone(Δ::GroupRingElem, λ, Q, wlen; end info(logger, "") - info(logger, "Projecting columns of the rationalized Q to the augmentation ideal...") - Q_ℚω_int = rationalize_and_project(Q, max(tol, 1e-12), logger) + Q_ℚω_int = rationalize_and_project(Q, tol, logger) λ_ℚ = ℚ(λ, tol) Δ_ℚ = ℚ(Δ, tol)