add isl_aff_normalize
[platform/upstream/isl.git] / test_inputs / negative.pip
1 1 3
2 #  n  1
3 1  1 -1 # n >= 1
4 -1
5
6 2 4
7 #  i  n  1
8 1  1  0  1 # i >= -1
9 1 -1  1  0 # i <= n