util.c: manual_count: use isl_val
[barvinok.git] / tests / decomposition14
blob64cc4ab0822acd691286bcbe15cce220c05bd5f1
1 D 1
2 7 5
3 1   6   1  -6  -6 
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   4
10 F 0