OAI/Combinatorics/ContingencyTables/Dense/DenseCanonicalProgram.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Dense sampling from margins with a computed grid and fallback

  1. abbrev OAI.ContingencyTables.DensePrograms.CanonicalParameters line 11
  2. abbrev OAI.ContingencyTables.DensePrograms.CanonicalDrawData line 12
  3. def OAI.ContingencyTables.DensePrograms.zeroGrid line 14
  4. def OAI.ContingencyTables.DensePrograms.zeroGridRealizer line 17
  5. theorem OAI.ContingencyTables.DensePrograms.polynomial_zeroGrid line 21
  6. def OAI.ContingencyTables.DensePrograms.canonicalInput line 27
  7. def OAI.ContingencyTables.DensePrograms.canonicalInputRealizer line 31
  8. theorem OAI.ContingencyTables.DensePrograms.polynomial_canonicalInput line 39
  9. def OAI.ContingencyTables.DensePrograms.canonicalDenseDraw line 53
  10. def OAI.ContingencyTables.DensePrograms.canonicalDenseDrawRealizer line 56
  11. theorem OAI.ContingencyTables.DensePrograms.polynomial_canonicalDenseDraw line 59