From b5effe3b82a7f3efff351f4974d6bc903b5ffd61 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 1 Feb 2008 15:32:05 +0100 Subject: [PATCH] doc: more specific information on buggy cddlib versions Reported by Komei Fukuda. --- doc/implementation.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/implementation.tex b/doc/implementation.tex index 511c898..c2936c3 100644 --- a/doc/implementation.tex +++ b/doc/implementation.tex @@ -3964,7 +3964,7 @@ describing the polytope are large. This solver is based on exact integer arithmetic. Note that you need version \verb+cddlib 0.94e+ or newer. -Earlier versions have +Earlier versions (\verb+0.93+--\verb+0.94d+) have a bug that may sometimes result in a polytope being reported as (rationally) empty even though it is not. -- 2.11.4.GIT