test/thomasset.cloog

   1 # language: C
   2 c
   3 1 3
   4 1 0 0   # 0 >= 0
   5 1
   6 n
   7
   8 # ------------- STATEMENTS -------------
   9 2       # Number of statements
  10
  11 # ax:Z
  12 1       # The domain is made of one polyhedron
  13 4 5     # 4 lines and 5 columns
  14 #       i       j       n
  15 1       -1      0       1       0
  16 1       1       0       0       -1
  17 1       1       -3      0       -1
  18 1       -1      3       0       3
  19 0 0 0   # future options
  20
  21 # ax:P
  22 1       # The domain is made of one polyhedron
  23 10 8    # 10 lines and 8 columns
  24 #       i       j       k       p       q       n
  25 1       -1      0       0       0       0       1       0
  26 1       0       -1      0       0       0       1       0
  27 1       0       1       0       0       0       0       -1
  28 1       1       0       0       0       0       0       -1
  29 1       0       1       0       0       -3      0       0
  30 1       0       -1      0       0       3       0       2
  31 1       0       0       0       -3      0       1       0
  32 1       0       0       0       3       0       -1      2
  33 1       0       0       -3      0       0       0       1
  34 1       0       0       3       0       0       0       1
  35 0 0 0   # future options
  36 1       # Iterator Names
  37 i j k p q
  38
  39 # ------------- SCATTERING -------------
  40 2 # nb scattering functions
  41 # Scattering for ax:Z
  42 2 7     # 2 lines and 7 columns
  43 #       c1      c2      i       j       n
  44 0       1       0       0       -1      0       0
  45 0       0       1       0       0       0       0
  46 # Scattering for ax:P
  47 2 10    # 2 lines and 10 columns
  48 #       c1      c2      i       j       k       p       q       n
  49 0       1       0       0       0       -1      -1      -1      0       0
  50 0       0       1       -1      0       0       0       0       0       1
  51 0       # Scattering Function Names