From 757f89e54b52706e40b7fae53b6e1b5957a9bd23 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Sun, 27 Aug 2017 19:09:17 +0200
Subject: [PATCH] no need to limit precision in rationalise_and_project

since we project directly to intervals the computational load is negligible
---
 src/CheckSolution.jl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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)