summate.c: barvinok_summate: ignore floors independent of variables

[barvinok.git] / tests / ehrhart / equal3

4 6
1 1 0 0 0 0
1 -1 0 0 0 10
0 0 2 -1 -3 0
0 0 3  0 -2 0

0 4