 Commercial simplex solvers are based on the revised simplex algorithm.If the values of all basic variables are strictly positive, then a pivot must result in an improvement in the objective value.When this is always the case no set of basic variables occurs twice and the simplex algorithm must terminate after a finite number of steps.