OAI/Computability/QuantumFactoring/RawDecoderPolynomial.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ExactQuantumFactoring.OrderTrial.rawMode_count line 15
  2. lemma OAI.ExactQuantumFactoring.OrderTrial.rawSample_count line 18
  3. lemma OAI.ExactQuantumFactoring.OrderTrial.rawGuesses_count line 21
  4. lemma OAI.ExactQuantumFactoring.OrderTrial.rawDen_count line 24
  5. lemma OAI.ExactQuantumFactoring.OrderTrial.rawNum_count line 27
  6. lemma OAI.ExactQuantumFactoring.OrderTrial.rawResidue_count line 30
  7. lemma OAI.ExactQuantumFactoring.OrderTrial.rawCoin_count line 33
  8. lemma OAI.ExactQuantumFactoring.OrderTrial.decodeSteps_poly line 36
  9. lemma OAI.ExactQuantumFactoring.OrderTrial.decodeWidth_poly line 40
  10. lemma OAI.ExactQuantumFactoring.OrderTrial.recoveredPairNet_poly line 50
  11. lemma OAI.ExactQuantumFactoring.OrderTrial.trialPairNet_poly line 59
  12. lemma OAI.ExactQuantumFactoring.OrderTrial.trialDenNet_poly line 70
  13. lemma OAI.ExactQuantumFactoring.OrderTrial.trialNumNet_poly line 72
  14. lemma OAI.ExactQuantumFactoring.OrderTrial.samplerSelectedNet_poly line 75
  15. lemma OAI.ExactQuantumFactoring.OrderTrial.rawAcceptNet_poly line 98
  16. lemma OAI.ExactQuantumFactoring.OrderTrial.trialValueNet_poly line 115
  17. lemma OAI.ExactQuantumFactoring.OrderTrial.trialSmallValueNet_poly line 120