OAI/Combinatorics/ContingencyTables/Dense/DenseScaleCellProgram.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Binary conversion from a grid coordinate to a free integer entry

  1. def OAI.ContingencyTables.DensePrograms.shiftedCell line 11
  2. def OAI.ContingencyTables.DensePrograms.shiftedCellRealizer line 14
  3. lemma OAI.ContingencyTables.DensePrograms.polynomial_shiftedCell line 18
  4. def OAI.ContingencyTables.DensePrograms.gridCellWidth line 23
  5. def OAI.ContingencyTables.DensePrograms.gridCellWidthRealizer line 26
  6. theorem OAI.ContingencyTables.DensePrograms.polynomial_gridCellWidth line 31
  7. def OAI.ContingencyTables.DensePrograms.gridCellValue line 39
  8. def OAI.ContingencyTables.DensePrograms.gridCellValueRealizer line 42
  9. theorem OAI.ContingencyTables.DensePrograms.polynomial_gridCellValue line 47
  10. theorem OAI.ContingencyTables.DensePrograms.gridCellValue_code line 55