OAI/Combinatorics/ContingencyTables/Sampling/ProfileTrialProgram.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

A complete polynomial outer trial on supplied independent words

  1. abbrev OAI.ContingencyTables.ProfilePrograms.ProfileTrialData line 11
  2. def OAI.ContingencyTables.ProfilePrograms.trialState line 13
  3. def OAI.ContingencyTables.ProfilePrograms.trialStateRealizer line 14
  4. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_trialState line 16
  5. def OAI.ContingencyTables.ProfilePrograms.trialParameters line 19
  6. def OAI.ContingencyTables.ProfilePrograms.trialParametersRealizer line 20
  7. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_trialParameters line 23
  8. def OAI.ContingencyTables.ProfilePrograms.trialCompletion line 26
  9. def OAI.ContingencyTables.ProfilePrograms.trialCompletionRealizer line 28
  10. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_trialCompletion line 31
  11. def OAI.ContingencyTables.ProfilePrograms.trialOutputInput line 35
  12. def OAI.ContingencyTables.ProfilePrograms.trialOutputInputRealizer line 37
  13. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_trialOutputInput line 40
  14. def OAI.ContingencyTables.ProfilePrograms.profileTrial line 44
  15. def OAI.ContingencyTables.ProfilePrograms.profileTrialRealizer line 46
  16. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_profileTrial line 49