OAI/Combinatorics/ContingencyTables/Dense/DenseOffsetWidths.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Computing the actual variable-width offset word layout

  1. abbrev OAI.ContingencyTables.DensePrograms.OffsetWidthData line 12
  2. def OAI.ContingencyTables.DensePrograms.offsetLength line 14
  3. def OAI.ContingencyTables.DensePrograms.offsetLengthRealizer line 17
  4. theorem OAI.ContingencyTables.DensePrograms.polynomial_offsetLength line 29
  5. def OAI.ContingencyTables.DensePrograms.freeCells line 43
  6. def OAI.ContingencyTables.DensePrograms.freeCellsRealizer line 46
  7. theorem OAI.ContingencyTables.DensePrograms.polynomial_freeCells line 51
  8. def OAI.ContingencyTables.DensePrograms.offsetLengths line 59
  9. def OAI.ContingencyTables.DensePrograms.offsetLengthsRealizer line 62
  10. theorem OAI.ContingencyTables.DensePrograms.polynomial_offsetLengths line 65
  11. lemma OAI.ContingencyTables.DensePrograms.cellPairs_ofFn line 69
  12. lemma OAI.ContingencyTables.DensePrograms.offsetLength_code line 82
  13. theorem OAI.ContingencyTables.DensePrograms.offsetLengths_code line 92