From 0eceed1f37f328590ae85bcfa50598abb427682d Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 9 Aug 2006 18:58:01 +0200
Subject: [PATCH] lexmin: don't check anything if given range lies outside the
 context

---
 lexmin.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lexmin.cc b/lexmin.cc
index 7f5b40d..d6d1a9c 100644
--- a/lexmin.cc
+++ b/lexmin.cc
@@ -2376,7 +2376,8 @@ void verify_results(Polyhedron *A, Polyhedron *C, vector<max_term*>& maxima,
     }
 
     if (S) {
-	check_poly(S, CS, maxima, nparam, 0, p, print_all, st, MaxRays);
+	if (!(CS && emptyQ2(CS)))
+	    check_poly(S, CS, maxima, nparam, 0, p, print_all, st, MaxRays);
 	Domain_Free(S);
     }
 
-- 
2.11.4.GIT