OAI/Computability/QuantumFactoring/BitStackRationals.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ExactQuantumFactoring.BitStackProgram.ratCode line 13
  2. def OAI.ExactQuantumFactoring.BitStackProgram.ratData line 15
  3. lemma OAI.ExactQuantumFactoring.BitStackProgram.intOfSign_div line 20
  4. lemma OAI.ExactQuantumFactoring.BitStackProgram.ratData_spec line 32
  5. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.ratNum line 40
  6. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.ratDen line 42
  7. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.makeRat line 45
  8. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.intToRat line 61
  9. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.natToRat line 64
  10. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.ratNeg line 67
  11. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.ratAdd line 73
  12. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.ratMul line 91
  13. def OAI.ExactQuantumFactoring.BitStackProgram.Procedure.ratSub line 102