example/esced.dat

   1 (( Programme esced :
   2    Code :
   3         do i=1,n
   4    (S1)    a(i) = i
   5            do j=1,m
   6    (S2)       b(j) = b(j) + a(i)
   7            endo
   8         endo
   9
  10    Farkas :
  11    O(S1,i)   = n1 + n2(i-1) + n3(n-i)
  12    O(S2,i,j) = n4 + n5(i-1) + n6(n-i) + n7(j-1) + n8(m-j)
  13
  14    (-1)*n1 +  (1)*n4 >= 0
  15    (-1)*n2 +  (1)*n5 >= 0
  16    (-1)*n3 +  (1)*n5 >= 0
  17     (1)*n5 + (-1)*n6 >= 0
  18               (1)*n7 >= 0
  19               (1)*n8 >= 0
  20
  21    Chunking :
  22    TS1 = [ [ 1 ] ]
  23    TS2 = [ [ 0 1 ] [ 0 0 ]
  24
  25    Decalages :
  26    - pour TS1
  27     (1)*n1 + (-1)*n2 == b1
  28               (1)*n3 == bn1
  29    - pour TS2
  30     (1)*n4 + (-1)*n5 + (-1)*n7 == b2
  31               (1)*n6 == bn2
  32               (1)*n8 == bm2
  33
  34   Construction :
  35    - pour TS1
  36     (1)*n2 + (-1)*n3 == (1)*CS1,1
  37    - pour TS2
  38     (1)*n5 + (-1)*n6 == (0)*CS2,1 + (0)*CS2,2
  39     (1)*n7 + (-1)*n8 == (1)*CS2,1 + (0)*CS2,2
  40
  41   Non nullite (simplifiee) :
  42                 (1)*CS1,1 >= 1
  43     (1)*CS2,1 + (1)*CS2,2 >= 1
  44  )
  45  16 0 24 0 -1 1
  46  (#[0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0]
  47   #[0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0]
  48   #[0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0]
  49   #[0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0]
  50   #[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0]
  51   #[0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0]
  52
  53
  54   #[0 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0]
  55   #[0 0 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0]
  56   #[0 0 0 0 -1 0 0 0 0 0 1 0 0 0 0 0 0]
  57   #[0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0]
  58
  59   #[-1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0]
  60   #[1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0]
  61
  62
  63   #[0 0 0 0 0 -1 0 0 0 0 0 1 -1 0 -1 0 0]
  64   #[0 0 0 0 0 1 0 0 0 0 0 -1 1 0 1 0 0]
  65   #[0 0 0 0 0 0 -1 0 0 0 0 0 0 1 0 0 0]
  66   #[0 0 0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0]
  67   #[0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 1 0]
  68   #[0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 -1 0]
  69
  70   #[0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0]
  71   #[0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0]
  72   #[0 -1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0]
  73   #[0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0]
  74
  75   #[1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1]
  76   #[0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1]
  77  )
  78  ()
  79 )