barvinok_summate.c: verify_point: explicitly project onto parameter space

[barvinok.git] / tests / ehrhart / e0.in

4 5
1  1  0 0 0
1 -2  0 1 0
1  0  1 0 0
1  0 -2 1 0

1 3
1 1 0

P
First example