barvinok_count_f: check for emptiness of P (again)
commit54ee4bfa5b0870c9cf83a257ea6ef75274c21c56
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 28 Jun 2006 09:27:54 +0000 (28 11:27 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 28 Jun 2006 09:51:50 +0000 (28 11:51 +0200)
tree512636dda1ee480a86ae5a6ee12275bb8d5c1a4f
parent945b4f0494828b5c32aed4176e04663c8a6177a3
barvinok_count_f: check for emptiness of P (again)

Polyhedron_Factor may have produced factors that are empty
(if POL_INTEGER is set), while Line_Length assumes that
the polytope is not empty.
barvinok.cc
tests/empty3 [new file with mode: 0644]