bernstein/examples/basicLinear2.matrix

   1 4 6
   2
   3 #s  n  m  P Q cte
   4  1  1  0  0 0  -1  # n >= 1
   5  1 -1  1  0 0   0  # m >= n
   6  1  0 -1  1 0   0  # p >= m
   7  1  1  0  0 -1   1  # n + 1 >= q
   8
   9 0 4
  10
  11 n m P Q
  12
  13 n
  14
  15 2
  16
  17 3 4
  18    1    1   -1    1
  19    1    0    1   -2
  20    1    0    0    1
  21
  22 {P,-1+Q}
  23 {-1+Q}
  24 {P}
  25
  26 3 4
  27    1    1    0   -1
  28    1    0   -1    2
  29    1    0    0    1
  30
  31 {P,1}
  32 {1}
  33 {P}