export(linopt):


Chvatal7a := [ [ x1<=3, x2<=7 ], 3+x1+x2, NonNegative]:
Chvatal7b := [ [ x1+x2<=2, -2*x1-2*x2<=-10 ], 3*x1-x2, NonNegative]:
Chvatal7c := [ [ -2*x1+x2<=-1, -x1-2*x2<=-2 ], x1-x2, NonNegative]:

Chvatal7 :=[]:

Chvatal13:=[[2*x1 + 3*x2 + x3 <= 5, 4*x1 + x2 + 2*x3 <= 11, 3*x1 + 4*x2 + 2*x3 <= 8], 5*x1 + 4*x2 + 3*x3, NonNegative]:

Chvatal19 :=
[[x1 + 3*x2 + x3 <= 3, 3*x3 - x1 <= 2, 2*x1 + 3*x2 - x3 <= 2, 2*x1 - x2 + 2*x3 <= 4], 5*x1 + 5*x2 + 3*x3, NonNegative]:


Chvatal26_21a :=
[[  x1  +x2+2*x3 <= 4,
  2*x1     +3*x3 <= 5,
  2*x1  +x2+3*x3 <= 7],
  3*x1+2*x2+4*x3,
 NonNegative]:

Chvatal26_21b :=
[[5*x1+2*x2+3*x3+  x4 <= 5,
    x1+  x2+2*x3+3*x4 <= 3],
  5*x1+6*x2+9*x3+8*x4
 NonNegative]:

Chvatal26_21c :=
[[2*x1+3*x2 <= 3,
    x1+5*x2 <= 1,
  2*x1  +x2 <= 4,
  4*x1  +x2 <= 5],
  2*x1  +x2,
 NonNegative]:

Chvatal29 :=
[[2*x3 <= 1, 3*x2 - x1 + 4*x3 <= 2, 2*x1 - 4*x2 + 6*x3 <= 3], 2*x1 - x2 + 8*x3, NonNegative]:

Chvatal31 :=
[[0.5*x1 - 5.5*x2 - 2.5*x3 + 9*x4 <= 0, 0.5*x1 - 1.5*x2 - 0.5*x3 + x4 <= 0, x1 <= 1], 10*x1 - 57*x2 - 9*x3 - 24*x4, NonNegative]:

Chvatal34 :=
[[x5 <= 1+e, x1 + x5 <= 2+e, 1/2*x1 - 3/2*x2 - 1/2*x3 + x4 + x5 <= 1+e, 1/2*x1 - 11/2*x2 - 5/2*x3 + 9*x4 + x5 <= 1+e], 10*x1 - 57*x2 - 9*x3 - 24*x4 + 100*x5, NonNegative]:

Chvatal34c :=
[[x5 <= 1+e1, x1 + x5 <= 2+e4, 1/2*x1 - 3/2*x2 - 1/2*x3 + x4 + x5 <= 1+e3, 1/2*x1 - 11/2*x2 - 5/2*x3 + 9*x4 + x5 <= 1+e2], 10*x1 - 57*x2 - 9*x3 - 24*x4 + 100*x5, NonNegative]:

Chvatal34b :=
[[x5 <= 1, x1 + x5 <= 2, 1/2*x1 - 3/2*x2 - 1/2*x3 + x4 + x5 <= 1, 1/2*x1 - 11/2*x2 - 5/2*x3 + 9*x4 + x5 <= 1], 10*x1 - 57*x2 - 9*x3 - 24*x4 + 100*x5, NonNegative]:
                                   
Chvatal35 :=
[[0.5*x1 - 1.5*x2 - 0.5*x3 + x4 <= e2, 0.5*x1 - 5.5*x2 - 2.5*x3 + 9*x4 <= e1, x1 <= e3 ], 10*x1 - 57*x2 - 9*x3 - 24*x4, NonNegative]:

Chvatal40 := 
[[x2 - x1 - x0 - 2*x3 <= -1, 2*x1 - x0 - 3*x2 + x3 <= -5, 2*x1 - x0 - x2 + 2*x3 <= 4], -x0, 
 NonNegative]:

Chvatal44_39a :=
[[  x1 - x2 <= -1,
  - x1 - x2 <= -3,
  2*x1 + x2 <=  4], 
  3*x1 + x2, 
 NonNegative]:

Chvatal44_39a0 :=
[[  x1 - x2 - x0 <= -1,
  - x1 - x2 - x0 <= -3,
  2*x1 + x2 - x0 <=  4],
             -x0, 
 NonNegative]:

Chvatal44_39b0 :=
[[x1 - x0 - x2 <= -1, - x0 - x1 - x2 <= -3, 2*x1 - x0 + x2 <= 2], -x0, NonNegative]:
Chvatal44_39b :=
[[x1 - x2 <= -1, - x1 - x2 <= -3, 2*x1 + x2 <= 2], 3*x1+x2, NonNegative]:

Chvatal44_39c0 :=
[[x1 - x0 - x2 <= -1, - x0 - x1 - x2 <= -3, 2*x1 - x0 - x2 <= 2], -x0, NonNegative]:

Chvatal41 := 
[[- 0.6*x1 - 0.4*x5 - 0.2*x6 <= 2.2, 0.2*x1 - 0.2*x5 - 0.6*x6 <= 1.6, x1 + x6 <= 3], 0.2*x1 - 0.2*x5 + 0.4*x6 - 0.6, NonNegative]:

Chvatal54 :=
[[  x1   - x2   - x3 + 3*x4 <= 1,
  5*x1   + x2 + 3*x3 + 8*x4 <= 55, 
   -x1  +2*x2 + 3*x3 - 5*x4 <= 3 ],
  4*x1   + x2 + 5*x3 + 3*x4, 
 NonNegative]:

Chvatal26_4 :=
[[x1 + x2 + 2*x3 + 3*x4 <= 3, x1 + 2*x2 + 3*x3 + x4 <= 5], 2*x1 + 3*x2 + 5*x3 + 4*x4, NonNegative]:

Exam:=
[[x1 - x2 <= -1, 2*x1 + x2 <= 4, - x1 - x2 <= -3], 3*x1 + x2, NonNegative]:

Exam0:=
[[x1 - x0 - x2 <= -1, 2*x1 - x0 + x2 <= 4, - x0 - x1 - x2 <= -3], -x0, NonNegative]:

Sakarovitch_194:=
[[4*x1 + 4*x2 + 4*x3 + x4 <= 44, 8*x1 + 6*x2 + 4*x3 + 3*x4 <= 36], 5*x1 + x2 + 6*x3 + 2*x4, NonNegative]:

Partiel2000A:=
[[x1 + 6*x2 + 2*x4 <= 3, 3*x1 + 4*x3 + x4 - 5*x5 <= 0, 2*x1 + 5*x2 + 3*x4 + x5 <= 10, 3*x1 + 4*x2 + x3 + 2*x5 <= 18, 5*x1 - 3*x3 + 4*x4 - 3*x5 <= 2], 6*x1 + 10*x2 + x3 + 6*x4 + 3*x5, NonNegative]:

null():