OAI/Combinatorics/ContingencyTables/Machines/NetworkFeasibilityProgram.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

The actual polynomial binary bounded-table feasibility test

  1. def OAI.ContingencyTables.NetworkFeasibilityProgram.sourcePair line 12
  2. def OAI.ContingencyTables.NetworkFeasibilityProgram.sourcePairRealizer line 15
  3. lemma OAI.ContingencyTables.NetworkFeasibilityProgram.polynomial_sourcePair line 19
  4. def OAI.ContingencyTables.NetworkFeasibilityProgram.inputValues line 24
  5. def OAI.ContingencyTables.NetworkFeasibilityProgram.inputValuesRealizer line 27
  6. lemma OAI.ContingencyTables.NetworkFeasibilityProgram.polynomial_inputValues line 31
  7. def OAI.ContingencyTables.NetworkFeasibilityProgram.testValues line 38
  8. def OAI.ContingencyTables.NetworkFeasibilityProgram.testValuesRealizer line 41
  9. lemma OAI.ContingencyTables.NetworkFeasibilityProgram.polynomial_testValues line 47
  10. def OAI.ContingencyTables.NetworkFeasibilityProgram.test line 57
  11. def OAI.ContingencyTables.NetworkFeasibilityProgram.testRealizer line 58
  12. lemma OAI.ContingencyTables.NetworkFeasibilityProgram.polynomial_test line 60
  13. lemma OAI.ContingencyTables.NetworkFeasibilityProgram.flowCode_row_value line 63
  14. lemma OAI.ContingencyTables.NetworkFeasibilityProgram.sourcePair_value line 74
  15. lemma OAI.ContingencyTables.NetworkFeasibilityProgram.test_eq_feasible line 84
  16. theorem OAI.ContingencyTables.NetworkFeasibilityProgram.test_correct line 98