OAI/Combinatorics/ContingencyTables/Counting/CompanionRestartSchedule.lean

GitHub source file

39 declarations, 0 contain sorry, 0 declared as axioms

A deterministic bit allocation for initialized restart experiments

  1. abbrev OAI.ContingencyTables.CompanionRestartSchedule.Prepared line 9
  2. abbrev OAI.ContingencyTables.CompanionRestartSchedule.StageInput line 10
  3. abbrev OAI.ContingencyTables.CompanionRestartSchedule.Input line 11
  4. def OAI.ContingencyTables.CompanionRestartSchedule.configInput line 13
  5. def OAI.ContingencyTables.CompanionRestartSchedule.configInputRealizer line 15
  6. lemma OAI.ContingencyTables.CompanionRestartSchedule.polynomial_configInput line 20
  7. def OAI.ContingencyTables.CompanionRestartSchedule.queryWidth line 25
  8. def OAI.ContingencyTables.CompanionRestartSchedule.queryWidthRealizer line 26
  9. lemma OAI.ContingencyTables.CompanionRestartSchedule.polynomial_queryWidth line 29
  10. def OAI.ContingencyTables.CompanionRestartSchedule.scalar line 32
  11. def OAI.ContingencyTables.CompanionRestartSchedule.scalarRealizer line 33
  12. lemma OAI.ContingencyTables.CompanionRestartSchedule.polynomial_scalar line 36
  13. def OAI.ContingencyTables.CompanionRestartSchedule.proposalWidth line 40
  14. def OAI.ContingencyTables.CompanionRestartSchedule.proposalWidthRealizer line 41
  15. lemma OAI.ContingencyTables.CompanionRestartSchedule.polynomial_proposalWidth line 47
  16. def OAI.ContingencyTables.CompanionRestartSchedule.precision line 51
  17. def OAI.ContingencyTables.CompanionRestartSchedule.precisionRealizer line 52
  18. lemma OAI.ContingencyTables.CompanionRestartSchedule.polynomial_precision line 55
  19. def OAI.ContingencyTables.CompanionRestartSchedule.consR line 59
  20. lemma OAI.ContingencyTables.CompanionRestartSchedule.polynomial_consR line 63
  21. def OAI.ContingencyTables.CompanionRestartSchedule.fields line 67
  22. def OAI.ContingencyTables.CompanionRestartSchedule.fieldsRealizer line 69
  23. lemma OAI.ContingencyTables.CompanionRestartSchedule.polynomial_fields line 72
  24. def OAI.ContingencyTables.CompanionRestartSchedule.expression line 78
  25. def OAI.ContingencyTables.CompanionRestartSchedule.stageWidth line 79
  26. def OAI.ContingencyTables.CompanionRestartSchedule.stageWidthRealizer line 80
  27. theorem OAI.ContingencyTables.CompanionRestartSchedule.polynomial_stageWidth line 82
  28. def OAI.ContingencyTables.CompanionRestartSchedule.indices line 85
  29. def OAI.ContingencyTables.CompanionRestartSchedule.indicesRealizer line 86
  30. lemma OAI.ContingencyTables.CompanionRestartSchedule.polynomial_indices line 87
  31. def OAI.ContingencyTables.CompanionRestartSchedule.indexedWidth line 92
  32. def OAI.ContingencyTables.CompanionRestartSchedule.indexedWidthRealizer line 93
  33. lemma OAI.ContingencyTables.CompanionRestartSchedule.polynomial_indexedWidth line 96
  34. def OAI.ContingencyTables.CompanionRestartSchedule.restartWidth line 100
  35. def OAI.ContingencyTables.CompanionRestartSchedule.restartWidthRealizer line 101
  36. theorem OAI.ContingencyTables.CompanionRestartSchedule.polynomial_restartWidth line 104
  37. def OAI.ContingencyTables.CompanionRestartSchedule.width line 108
  38. def OAI.ContingencyTables.CompanionRestartSchedule.widthRealizer line 109
  39. theorem OAI.ContingencyTables.CompanionRestartSchedule.polynomial_width line 114