On Thu, 2009-07-09 at 14:22 +0200, Roberto Bagnara wrote:

Konrad Trifunovic wrote:

...

I attach a patch that uses 'integer existence test'. I have forced the use of dependence check.

Hi there.

I am sorry if the answer is obvious, but I am wondering why you are using NNC polyhedra (NNC_Polyhedron) instead of ordinary polyhedra (C_Polyhedron). Do you need to characterize rational solutions and use strict constraints?

No, we do not need this. I introduced NNC_Polyhedron as I did not understand the difference correct. We should switch back to C_Polyhedron or even better to integer(Z) polyhedron.

Tobias