From 94074750cfee703343a66c2c302539d5a69dad7e Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Fri, 4 Aug 2017 21:27:10 +0200
Subject: [PATCH] limit the accuracy of rationalization to sensible value

to avoid running out of memory!
---
 src/CheckSolution.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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