OAI/Computability/QuantumFactoring/PreparationPolynomial.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.sampleExponent line 30
  2. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.retentionBits line 32
  3. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.transitionWidth line 34
  4. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.samplerWork line 36
  5. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.samplerWidth line 38
  6. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.sampleScratch line 41
  7. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.sampleWidth line 44
  8. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.rawWidth line 47
  9. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.listCoin line 50
  10. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.orderCoin line 53
  11. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.listWidth line 56
  12. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.orderWidth line 60
  13. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.listOutput line 64
  14. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.listWork line 68
  15. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.orderWork line 73
  16. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.listSteps line 78
  17. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.orderSteps line 83
  18. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.listLaunchWidth line 92
  19. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.listLaunchSteps line 95
  20. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.splitWork line 100
  21. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.ordersWidth line 104
  22. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.splitWidth line 108
  23. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.splitSteps line 111
  24. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.splitInitial line 116