OAI/Combinatorics/ContingencyTables/Machines/ResidualWeightProgram.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Binary computation of the rare branch's integer weights

  1. abbrev OAI.ContingencyTables.ResidualWeightPrograms.Input line 12
  2. def OAI.ContingencyTables.ResidualWeightPrograms.count line 16

    Source documentation

    Common denominator, inverse branch probability, number of tables, and the ordinary draw's numerator.

    def count (z : Input) : ℕ := z.1.1*z.1.2-z.2.1*(z.1.2-1)*z.2.2

    Mentions: OAI.ContingencyTables.ResidualWeightPrograms.Input

  3. def OAI.ContingencyTables.ResidualWeightPrograms.countRealizer line 18
  4. lemma OAI.ContingencyTables.ResidualWeightPrograms.polynomial_count line 28
  5. lemma OAI.ContingencyTables.ResidualWeightPrograms.count_actual line 42