fixed a small bug in eval ehrhart

[polylib.git] / Test / others / xavi

# An example from Xavier Vera Rivera <xvera@ac.upc.es>
# no parameters

7 4
   1   8  -1 -24
   1   8 -32   0
   1  -8  32  31
   1   0   1   0
   1   0  -1   4
   1   1   0  -1
   1  -1   0  16

0 2