OAI/Combinatorics/ContingencyTables/Dense/DenseTableCoordinates.lean

GitHub source file

31 declarations, 0 contain sorry, 0 declared as axioms

Reading the unique bin and offset of an accepted table

  1. def OAI.ContingencyTables.DensePrograms.tableFreeValue line 13
  2. def OAI.ContingencyTables.DensePrograms.tableFreeValueRealizer line 16
  3. lemma OAI.ContingencyTables.DensePrograms.polynomial_tableFreeValue line 20
  4. def OAI.ContingencyTables.DensePrograms.tableBinCoordinate line 25
  5. def OAI.ContingencyTables.DensePrograms.tableBinCoordinateRealizer line 27
  6. lemma OAI.ContingencyTables.DensePrograms.polynomial_tableBinCoordinate line 30
  7. def OAI.ContingencyTables.DensePrograms.tableOffsetCoordinate line 34
  8. def OAI.ContingencyTables.DensePrograms.tableOffsetCoordinateRealizer line 36
  9. lemma OAI.ContingencyTables.DensePrograms.polynomial_tableOffsetCoordinate line 39
  10. def OAI.ContingencyTables.DensePrograms.tableFreeCells line 43
  11. def OAI.ContingencyTables.DensePrograms.tableFreeCellsRealizer line 45
  12. lemma OAI.ContingencyTables.DensePrograms.polynomial_tableFreeCells line 48
  13. def OAI.ContingencyTables.DensePrograms.tableBinCoordinates line 52
  14. def OAI.ContingencyTables.DensePrograms.tableBinCoordinatesRealizer line 55
  15. lemma OAI.ContingencyTables.DensePrograms.polynomial_tableBinCoordinates line 58
  16. def OAI.ContingencyTables.DensePrograms.tableOffsetCoordinates line 62
  17. def OAI.ContingencyTables.DensePrograms.tableOffsetCoordinatesRealizer line 65
  18. lemma OAI.ContingencyTables.DensePrograms.polynomial_tableOffsetCoordinates line 68
  19. def OAI.ContingencyTables.DensePrograms.tableWidths line 72
  20. def OAI.ContingencyTables.DensePrograms.tableWidthsRealizer line 75
  21. lemma OAI.ContingencyTables.DensePrograms.polynomial_tableWidths line 78
  22. def OAI.ContingencyTables.DensePrograms.tableCoordinatesCode line 82
  23. lemma OAI.ContingencyTables.DensePrograms.tableFreeValue_code line 86
  24. lemma OAI.ContingencyTables.DensePrograms.tableCellWidth_code line 91
  25. lemma OAI.ContingencyTables.DensePrograms.tableBinCoordinate_code line 101
  26. lemma OAI.ContingencyTables.DensePrograms.tableOffsetCoordinate_code line 114
  27. lemma OAI.ContingencyTables.DensePrograms.tableFreeCells_code line 122
  28. lemma OAI.ContingencyTables.DensePrograms.tableBinCoordinates_code line 130
  29. lemma OAI.ContingencyTables.DensePrograms.tableOffsetCoordinates_code line 143
  30. lemma OAI.ContingencyTables.DensePrograms.tableWidths_code line 155
  31. lemma OAI.ContingencyTables.DensePrograms.tableOffsetLengths_code line 166