From f2f953bf3cc114838586bf0df7219c7eb44f0c09 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Tue, 6 Sep 2005 11:37:26 +0200
Subject: [PATCH] piputil.c: deal with partial Polyhedrons (untested).

---
 piputil.c | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/piputil.c b/piputil.c
index 254b4d0..cb8d9bf 100644
--- a/piputil.c
+++ b/piputil.c
@@ -2,6 +2,13 @@
 #include <stdio.h>  /* needed for piplib ! */
 #include <piplib/piplibMP.h>
 #include <assert.h>
+#include "config.h"
+
+#ifdef HAVE_GROWING_CHERNIKOVA
+#define MAXRAYS    POL_NO_DUAL
+#else
+#define MAXRAYS  600
+#endif
 
 static PipMatrix *poly2pip(Polyhedron *P, int exist, int nparam)
 {
@@ -139,7 +146,7 @@ static void add_quast(Polyhedron**D, Matrix* M, PipQuast *q,
 	}
 	C = Matrix_Alloc(i, 1+d+1);
 	Vector_Copy(M->p[0], C->p[0], i * (1+d+1));
-	P = Constraints2Polyhedron(C, 0);
+	P = Constraints2Polyhedron(C, MAXRAYS);
 	Matrix_Free(C);
 	P->next = *D;
 	*D = P;
@@ -186,6 +193,8 @@ Polyhedron *pip_lexmin(Polyhedron *P, int exist, int nparam)
     PipQuast	*sol;
     Polyhedron  *min;
 
+    POL_ENSURE_INEQUALITIES(P);
+
     domain = poly2pip(P, exist, nparam);
     /*
     pip_matrix_print(stderr, domain);
-- 
2.11.4.GIT