barvinok_summate.c: verify_point: explicitly project onto parameter space

[barvinok.git] / tests / decomposition15

D 1
7 5
1   6   1  -6  -6 
1   0  -1   0   5
1   0   0   1   0 
1  -1   0   1   1 
1  -6  -1   5  11 
1   0   0  -1   1
1   0  -1   0   3

F 0
8