1. CLRS-Lean
  2. CLRS Fourth Edition
  3. Chapter 29. Linear Programming
  4. 29.1. Standard and Slack Forms
Imports
import CLRSLean.FourthEdition.Chapter_29.Section_29_1_Standard_And_Slack_Forms.Definitions import CLRSLean.FourthEdition.Chapter_29.Section_29_1_Standard_And_Slack_Forms.SlackVariables import CLRSLean.FourthEdition.Chapter_29.Section_29_1_Standard_And_Slack_Forms.Equivalence import CLRSLean.FourthEdition.Chapter_29.Section_29_1_Standard_And_Slack_Forms.Normalization

29.1 Standard and slack forms

The represented foundation defines standard-form maximization programs over finite real matrices, and converts the general linear-programming form to standard form while preserving feasibility and the objective. Subsequent child modules add slack variables and prove their exact feasibility equivalence.

The full CLRS basic/nonbasic dictionary model remains outside this milestone.

Implementation details

The split proof layers remain available outside the main sidebar:

namespace CLRSnamespace Chapter29end Chapter29end CLRS