OAI/Combinatorics/ContingencyTables/Counting/CountingCoefficientProgram.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

The terminal coefficient computed with binary natural arithmetic

  1. abbrev OAI.ContingencyTables.CountingCoefficientProgram.Input line 14
  2. def OAI.ContingencyTables.CountingCoefficientProgram.precision line 16
  3. def OAI.ContingencyTables.CountingCoefficientProgram.precisionRealizer line 17
  4. lemma OAI.ContingencyTables.CountingCoefficientProgram.polynomial_precision line 20
  5. def OAI.ContingencyTables.CountingCoefficientProgram.allowance line 25
  6. def OAI.ContingencyTables.CountingCoefficientProgram.allowanceRealizer line 26
  7. lemma OAI.ContingencyTables.CountingCoefficientProgram.polynomial_allowance line 34
  8. def OAI.ContingencyTables.CountingCoefficientProgram.numerator line 42
  9. def OAI.ContingencyTables.CountingCoefficientProgram.numeratorRealizer line 43
  10. lemma OAI.ContingencyTables.CountingCoefficientProgram.polynomial_numerator line 52
  11. def OAI.ContingencyTables.CountingCoefficientProgram.coefficient line 62
  12. def OAI.ContingencyTables.CountingCoefficientProgram.coefficientRealizer line 63
  13. lemma OAI.ContingencyTables.CountingCoefficientProgram.polynomial_coefficient line 66
  14. lemma OAI.ContingencyTables.CountingCoefficientProgram.precision_val line 70
  15. lemma OAI.ContingencyTables.CountingCoefficientProgram.allowance_val line 77
  16. lemma OAI.ContingencyTables.CountingCoefficientProgram.coefficient_val line 81
  17. lemma OAI.ContingencyTables.CountingCoefficientProgram.coefficient_repr line 91