tests/ehrhart/A3

   1 # nr_constraints nr_columns
   2 9 11
   3 # first column: 0: equality; 1: inequality
   4 # "variables" first; then the "parameters"; finally the constant
   5 0 1 0 0 1 1 0 -1 0 0 0
   6 0 0 1 0 1 1 1 0 -1 0 0
   7 0 0 0 1 0 1 1 0 0 -1 0
   8 1 1 0 0 0 0 0 0 0 0 0
   9 1 0 1 0 0 0 0 0 0 0 0
  10 1 0 0 1 0 0 0 0 0 0 0
  11 1 0 0 0 1 0 0 0 0 0 0
  12 1 0 0 0 0 1 0 0 0 0 0
  13 1 0 0 0 0 0 1 0 0 0 0
  14
  15 # 5 = 1 + 3 + 1 => 3 parameters
  16 0 5