bernstein/examples/basicLinear.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  0 -1  0 1   0  # q >= m
   8
   9 0 4
  10
  11 n m P Q
  12
  13 n
  14
  15 # the expected solution for verification
  16 2
  17
  18 3 4
  19    1    1   -1    0
  20    1    0    1   -1
  21    1    0    0    1
  22
  23 {1,Q}
  24 {1}
  25 {Q}
  26
  27 3 4
  28    1   -1    1    0
  29    1    1    0   -1
  30    1    0    0    1
  31
  32 {1,P}
  33 {1}
  34 {P}