OAI/Combinatorics/ContingencyTables/Counting/CountingTerminalProgram.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

The executed terminal grid width, cutoff and phase count

  1. abbrev OAI.ContingencyTables.CountingTerminalProgram.Input line 10
  2. def OAI.ContingencyTables.CountingTerminalProgram.base line 12
  3. def OAI.ContingencyTables.CountingTerminalProgram.baseRealizer line 14
  4. lemma OAI.ContingencyTables.CountingTerminalProgram.polynomial_base line 23
  5. def OAI.ContingencyTables.CountingTerminalProgram.binCount line 29
  6. def OAI.ContingencyTables.CountingTerminalProgram.binCountRealizer line 30
  7. lemma OAI.ContingencyTables.CountingTerminalProgram.polynomial_binCount line 33
  8. def OAI.ContingencyTables.CountingTerminalProgram.cutoff line 36
  9. def OAI.ContingencyTables.CountingTerminalProgram.cutoffRealizer line 37
  10. lemma OAI.ContingencyTables.CountingTerminalProgram.polynomial_cutoff line 45
  11. def OAI.ContingencyTables.CountingTerminalProgram.phases line 51
  12. def OAI.ContingencyTables.CountingTerminalProgram.phasesRealizer line 52
  13. lemma OAI.ContingencyTables.CountingTerminalProgram.polynomial_phases line 57
  14. lemma OAI.ContingencyTables.CountingTerminalProgram.binCount_data line 62
  15. lemma OAI.ContingencyTables.CountingTerminalProgram.cutoff_data line 72
  16. lemma OAI.ContingencyTables.CountingTerminalProgram.phases_data line 80