tests/iscc/kahle

   1 # Adapted from a test case submitted by Thomas Kahle <tomka@gentoo.org>
   2 # On older versions of barvinok, it would result in an assertion failure.
   3 P := [b1,b2,b3,s] -> { [a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12] :
   4   a2 >= 0 and
   5   a3 >= 0 and
   6   a4 >= 0 and
   7   a5 >= 0 and
   8   a6 >= 0 and
   9   a7 >= 0 and
  10   a8 >= 0 and
  11   a9 >= 0 and
  12   a10 >= 0 and
  13   a11 >= 0 and
  14   a12 >= 0 and
  15   s = a2 + a3 + a4 and
  16   s = a5 + a6 + a7 + a8 and
  17   s = a9 + a10 + a11 + a12 and
  18   a5+a9 = b1 - 2 and
  19   3a2+a6+a10 = b2 + 1 and
  20   3a3+a7+a11 = b3 + 1 and
  21   - b1 + b2 >= 0 and
  22   - b2 + b3 >= 0 and
  23   - b1 - b2 - 2b3 + 5s >= 0 and
  24   b1 >= 0 and
  25   b2 >= 0 and
  26   b3 >= 0 and
  27   s >= 0 };
  28 s := card P;