From 2edcaf45b49560af3ee22d1c9c020de43b723af2 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 12 Aug 2006 17:54:43 +0200
Subject: [PATCH] omega/polyfunc.cc: maximize: simplify domain before printing

---
 omega/polyfunc.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/omega/polyfunc.cc b/omega/polyfunc.cc
index 714932a..de59634 100644
--- a/omega/polyfunc.cc
+++ b/omega/polyfunc.cc
@@ -17,6 +17,7 @@ void maximize(PolyFunc *polyfunc, Map<Variable_Ref *, GiNaC::ex>& variableMap)
     exvector exparams;
 
     cout << "maximize " << polyfunc->poly << " over ";
+    polyfunc->domain.simplify();
     polyfunc->domain.print(stdout);
 
     Polyhedron *D = relation2Domain(polyfunc->domain, vv, params);
-- 
2.11.4.GIT