barvinok_summate.c: verify_point: explicitly project onto parameter space

[barvinok.git] / tests / lll2

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

F 0
3