xref: /netbsd-src/external/mit/isl/dist/test_inputs/affine.polylib (revision 5971e316fdea024efff6be8f03536623db06833e)
1*5971e316Smrg# the affine hull of {[a,b] : a=b && 1 <= a <= 163} ...
2*5971e316Smrg3 4
3*5971e316Smrg0 1 -1 0
4*5971e316Smrg1 1  0 -1
5*5971e316Smrg1 -1 0 163
6*5971e316Smrg
7*5971e316Smrg# ... is {[a,b] : a=b} (and not {[In_1,In_2]}, as Omega 1.2 claims)
8*5971e316Smrg1 4
9*5971e316Smrg0 1 -1 0
10