barvinok_summate.c: verify_point: explicitly project onto parameter space

[barvinok.git] / tests / empty

D 1
8 9
   0    1    0    0    0    0    0    0    0
   0    0    1    0    0    0    0    0    0
   0    0    0    1    0    0    0    0    0
   0    0    0    0    1    0    0    0    0
   0    0    0    0    0    1    0    0    0
   0    0    0    0    0    0    1    0    0
   0    0    0    0    0    0    0    1    0
   0    0    0    0    0    0    0    0    1
F 0
0