CLRS-Lean
Chapter 29. Linear Programming
29.3. The Simplex Algorithm
29.3. PIVOT

Imports

import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Pivot.Definitions
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Pivot.Algebra
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Pivot.SumLemmas
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Pivot.SemanticEquivalence
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Pivot.Feasibility
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Pivot.Objective

29.3 PIVOT

This reader module groups the textbook PIVOT data transformation with its formula, semantic-equivalence, feasibility, and objective-progress theorems.

Implementation details

PIVOT definitions
PIVOT formulas
Finite-sum algebra
PIVOT semantic equivalence
Minimum-ratio feasibility
Objective progress

              namespace CLRSnamespace Chapter29end Chapter29end CLRS