OAI/Combinatorics/ContingencyTables/Machines/FlowEntryProgram.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

Binary signed augmentation of one matrix entry

  1. abbrev OAI.ContingencyTables.FlowEntryProgram.UpdateData line 11
  2. abbrev OAI.ContingencyTables.FlowEntryProgram.EntryInput line 12
  3. abbrev OAI.ContingencyTables.FlowEntryProgram.RawInput line 13
  4. def OAI.ContingencyTables.FlowEntryProgram.rawUpdate line 15
  5. def OAI.ContingencyTables.FlowEntryProgram.rawUpdateRealizer line 18
  6. lemma OAI.ContingencyTables.FlowEntryProgram.polynomial_rawUpdate line 26
  7. lemma OAI.ContingencyTables.FlowEntryProgram.rawUpdate_value line 41
  8. def OAI.ContingencyTables.FlowEntryProgram.limits line 47
  9. def OAI.ContingencyTables.FlowEntryProgram.limitsRealizer line 50
  10. lemma OAI.ContingencyTables.FlowEntryProgram.polynomial_limits line 58
  11. def OAI.ContingencyTables.FlowEntryProgram.rawInput line 70
  12. def OAI.ContingencyTables.FlowEntryProgram.rawInputRealizer line 74
  13. lemma OAI.ContingencyTables.FlowEntryProgram.polynomial_rawInput line 93
  14. def OAI.ContingencyTables.FlowEntryProgram.updateCell line 112
  15. def OAI.ContingencyTables.FlowEntryProgram.updateCellRealizer line 115
  16. lemma OAI.ContingencyTables.FlowEntryProgram.polynomial_updateCell line 119
  17. lemma OAI.ContingencyTables.FlowEntryProgram.updateCell_bounds line 123
  18. lemma OAI.ContingencyTables.FlowEntryProgram.arcCount_map line 127
  19. lemma OAI.ContingencyTables.FlowEntryProgram.updateCell_code line 136