From fd32ddbe828f507de1442ac3b4b0cd5fd983eb78 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Fri, 23 Jun 2017 13:30:37 +0200
Subject: [PATCH] use the given precision as rationalisation precision

---
 src/CheckSolution.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/CheckSolution.jl b/src/CheckSolution.jl
index 6dc7a8a..32e9b93 100644
--- a/src/CheckSolution.jl
+++ b/src/CheckSolution.jl
@@ -126,7 +126,7 @@ function check_distance_to_positive_cone(Δ::GroupRingElem, λ, Q, wlen;
 
     info(logger, "")
     info(logger, "Projecting columns of rationalized Q to the augmentation ideal...")
-    δ = eps(λ)
+    δ = tol
     Q_ℚ = ℚ(Q, δ)
     t = @timed Q_ℚω = correct_to_augmentation_ideal(Q_ℚ)
     info(logger, timed_msg(t))