SimplexAlgorithm

📁 Source: Mathlib/Tactic/Linarith/Oracle/SimplexAlgorithm/SimplexAlgorithm.lean

Statistics

Metric	Count
Definitions SimplexAlgorithmException, SimplexAlgorithmM, checkSuccess, chooseEnteringVar, chooseExitingVar, choosePivots, doPivotOperation, runSimplexAlgorithm	8
Theorems	0
Total	8

Mathlib.Tactic.Linarith.SimplexAlgorithm

Definitions

Name	Category	Theorems
SimplexAlgorithmException 📖	CompData	—
SimplexAlgorithmM 📖	CompOp	—
checkSuccess 📖	CompOp	—
chooseEnteringVar 📖	CompOp	—
chooseExitingVar 📖	CompOp	—
choosePivots 📖	CompOp	—
doPivotOperation 📖	CompOp	—
runSimplexAlgorithm 📖	CompOp	—

---

← Back to Index