OAI/Combinatorics/ContingencyTables/Counting/CountingLabelCountProgram.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Executing the actual number of factorial labels

Only retained capacities are summed; the program does not expand any capacity into a list of labels to obtain the phase controls.

  1. abbrev OAI.ContingencyTables.CountingLabelCountProgram.Input line 14
  2. def OAI.ContingencyTables.CountingLabelCountProgram.catalogInput line 16
  3. def OAI.ContingencyTables.CountingLabelCountProgram.catalogInputRealizer line 17
  4. lemma OAI.ContingencyTables.CountingLabelCountProgram.polynomial_catalogInput line 19
  5. def OAI.ContingencyTables.CountingLabelCountProgram.capacities line 24
  6. def OAI.ContingencyTables.CountingLabelCountProgram.capacitiesRealizer line 25
  7. lemma OAI.ContingencyTables.CountingLabelCountProgram.polynomial_capacities line 28
  8. def OAI.ContingencyTables.CountingLabelCountProgram.count line 31
  9. def OAI.ContingencyTables.CountingLabelCountProgram.countRealizer line 32
  10. lemma OAI.ContingencyTables.CountingLabelCountProgram.polynomial_count line 34
  11. lemma OAI.ContingencyTables.CountingLabelCountProgram.catalogInput_data line 41
  12. lemma OAI.ContingencyTables.CountingLabelCountProgram.count_data line 44
  13. lemma OAI.ContingencyTables.CountingLabelCountProgram.count_bound line 51