OAI/Combinatorics/ContingencyTables/Counting/CountingPhaseParametersProgram.lean

GitHub source file

36 declarations, 0 contain sorry, 0 declared as axioms

Executable rational controls for the adaptive counting phases

  1. abbrev OAI.ContingencyTables.CountingPhaseParametersProgram.Input line 12
  2. def OAI.ContingencyTables.CountingPhaseParametersProgram.scalar line 14
  3. def OAI.ContingencyTables.CountingPhaseParametersProgram.scalarRealizer line 15
  4. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.polynomial_scalar line 17
  5. def OAI.ContingencyTables.CountingPhaseParametersProgram.scalarFraction line 20
  6. def OAI.ContingencyTables.CountingPhaseParametersProgram.scalarFractionRealizer line 21
  7. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.polynomial_scalarFraction line 23
  8. def OAI.ContingencyTables.CountingPhaseParametersProgram.toleranceDenominator line 26
  9. def OAI.ContingencyTables.CountingPhaseParametersProgram.tolerance line 27
  10. def OAI.ContingencyTables.CountingPhaseParametersProgram.toleranceRealizer line 28
  11. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.polynomial_tolerance line 32
  12. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.tolerance_val line 36
  13. def OAI.ContingencyTables.CountingPhaseParametersProgram.toleranceSquare line 43
  14. def OAI.ContingencyTables.CountingPhaseParametersProgram.toleranceSquareRealizer line 44
  15. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.polynomial_toleranceSquare line 47
  16. def OAI.ContingencyTables.CountingPhaseParametersProgram.observationRatio line 51
  17. def OAI.ContingencyTables.CountingPhaseParametersProgram.observationRatioRealizer line 54
  18. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.polynomial_observationRatio line 60
  19. def OAI.ContingencyTables.CountingPhaseParametersProgram.observations line 65
  20. def OAI.ContingencyTables.CountingPhaseParametersProgram.observationsRealizer line 66
  21. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.polynomial_observations line 70
  22. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.observations_val line 74
  23. def OAI.ContingencyTables.CountingPhaseParametersProgram.reciprocalTolerance line 87
  24. def OAI.ContingencyTables.CountingPhaseParametersProgram.reciprocalToleranceRealizer line 88
  25. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.polynomial_reciprocalTolerance line 91
  26. def OAI.ContingencyTables.CountingPhaseParametersProgram.reciprocalCeiling line 95
  27. def OAI.ContingencyTables.CountingPhaseParametersProgram.reciprocalCeilingRealizer line 96
  28. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.polynomial_reciprocalCeiling line 98
  29. def OAI.ContingencyTables.CountingPhaseParametersProgram.precision line 101
  30. def OAI.ContingencyTables.CountingPhaseParametersProgram.precisionRealizer line 102
  31. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.polynomial_precision line 106
  32. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.precision_val line 110
  33. def OAI.ContingencyTables.CountingPhaseParametersProgram.noise line 122
  34. def OAI.ContingencyTables.CountingPhaseParametersProgram.noiseRealizer line 123
  35. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.polynomial_noise line 124
  36. lemma OAI.ContingencyTables.CountingPhaseParametersProgram.noise_val line 127