summate.c: add_unbounded_guarded_qp: update to change in isl_pw_* space
[barvinok.git] / tests / decomposition3
blob373461e3ead78a55444bbd8691b6158170bf6968
1 D 1
2 9 5
3 1   5   1  -5  -1
4 1   0  -1   0   5
5 1   0   0   1   0 
6 1  -1   0   1   1 
7 1  -6  -1   5  11 
8 1   0   0  -1   1
9 1   0  -1   0   1
10 1   1   0   0  -1
11 1   0   1   0   0
13 F 0