OAI/Combinatorics/ContingencyTables/Sampling/SmallRepairCandidates.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Polynomial lists of forward and inverse repair candidates

  1. def OAI.ContingencyTables.SmallGraphProfiles.localRepairCandidates line 21

    Source documentation

    Candidates are generated by ordered cell pairs, without enumerating positive defect states. A later feasibility test removes unused pairs.

    def localRepairCandidates (small : I → J → Bool) (B : I → J → ℕ)
    (v : SmallProfile small) : Finset (SmallProfile small) :=
…
  2. lemma OAI.ContingencyTables.SmallGraphProfiles.localRepairCandidates_card line 28
  3. lemma OAI.ContingencyTables.SmallGraphProfiles.fullNeighbors_local line 40