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

Imports

import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Dictionary.Definitions
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Dictionary.Semantics
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Dictionary.BasicSolution
import CLRSLean.Chapter_29.Section_29_3_The_Simplex_Algorithm.Dictionary.InitialDictionary

29.3 Dictionary layer

This reader module groups the fixed-slot slack-form dictionary model with its basic-solution semantics and its bridge from Section 29.1 standard form.

The theorem layers remain split into small implementation modules.

Implementation details

Dictionary definitions
Dictionary semantics
Basic solutions
Initial dictionary

              namespace CLRSnamespace Chapter29end Chapter29end CLRS