Hm, versuch mal
minimize_lp(x+y,[
x >= 3,
x+y >= 9,
y - x <= 2]
), nonegative_lp=true;
[9,[y=11/2,x=7/2]]
Im dualen LP kommt nur eine nonkonforme NB an: y - x <= 2 ==> x - y ≥ -2 - in der Reihenfolge würde ich den ersten Schritt mit Pivotspalte=2 Pivotzeile=2 fahren um die zuerst zu erschlagen...