OAI/Combinatorics/MatchingCount/Sampling/TreeOptions.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MatchingFPRAS.ExecutableOptions.Options line 10
  2. def OAI.MatchingFPRAS.ExecutableOptions.repr line 13
  3. def OAI.MatchingFPRAS.ExecutableOptions.listSingleton line 16
  4. lemma OAI.MatchingFPRAS.ExecutableOptions.polynomial_listSingleton line 19
  5. def OAI.MatchingFPRAS.ExecutableOptions.pure line 22
  6. def OAI.MatchingFPRAS.ExecutableOptions.pureRealizer line 23
  7. lemma OAI.MatchingFPRAS.ExecutableOptions.polynomial_pure line 26
  8. lemma OAI.MatchingFPRAS.ExecutableOptions.pure_repr line 29
  9. def OAI.MatchingFPRAS.ExecutableOptions.scale line 32
  10. def OAI.MatchingFPRAS.ExecutableOptions.scaleRealizer line 33
  11. lemma OAI.MatchingFPRAS.ExecutableOptions.polynomial_scale line 36
  12. def OAI.MatchingFPRAS.ExecutableOptions.mix line 42
  13. def OAI.MatchingFPRAS.ExecutableOptions.mixRealizer line 44
  14. lemma OAI.MatchingFPRAS.ExecutableOptions.polynomial_mix line 48
  15. lemma OAI.MatchingFPRAS.ExecutableOptions.mix_repr line 56
  16. def OAI.MatchingFPRAS.ExecutableOptions.map line 69
  17. def OAI.MatchingFPRAS.ExecutableOptions.mapRealizer line 70
  18. lemma OAI.MatchingFPRAS.ExecutableOptions.polynomial_map line 72
  19. lemma OAI.MatchingFPRAS.ExecutableOptions.map_repr line 79
  20. def OAI.MatchingFPRAS.ExecutableOptions.draw line 87
  21. def OAI.MatchingFPRAS.ExecutableOptions.drawRealizer line 89
  22. lemma OAI.MatchingFPRAS.ExecutableOptions.polynomial_draw line 95
  23. lemma OAI.MatchingFPRAS.ExecutableOptions.draw_repr line 103