Imports

import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.VariableOrder
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Entering
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Leaving
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Step
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Optimality
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Unboundedness
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Equivalence
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Run
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Bland
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Simplex.Termination

29.3 SIMPLEX

This reader groups the Bland-rule selectors, the three-way SIMPLEX step, terminal correctness, the anti-cycling theorem, and finite termination. The implementation is split into small theorem-role modules.

              namespace CLRSnamespace Chapter29end Chapter29end CLRS