add isl_basic_set_lexmin_compute_divs
[isl.git] / testsets / pip / seghir-e4.pip
blobf748b62519e55bf3bcb3581a75c9f05386296151
1 0 5
3 -1
5 10 8
6  0 0 0 0 1 1 0 -1
7  1 7 -4 -10 0 -2 0 -1
8  1 -4 2 5 0 1 0 -1
9  1 4 -2 -5 0 -1 0 5
10  1 0 1 0 0 0 0 -1
11  1 0 -1 0 0 0 2 0
12  1 0 0 1 0 0 0 -1
13  1 0 0 -1 0 0 3 2
14  1 -98 56 140 0 28 1 1
15  1 0 0 0 0 0 0 1
17 Urs_parms
18 Urs_unknowns