OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumHistoryCellProgram.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Polynomial generation of the exact ordered history cell arrays. All list loops are bounded by unary circuit counts; coordinate arithmetic is binary.

  1. abbrev OAI.ContinuumCoulomb.QuantumHistoryCells.Input line 16
  2. abbrev OAI.ContinuumCoulomb.QuantumHistoryCells.inputCode line 17
  3. opaque OAI.ContinuumCoulomb.QuantumHistoryCells.gateCellProgram line 19
  4. opaque OAI.ContinuumCoulomb.QuantumHistoryCells.referenceCellProgram line 25
  5. opaque OAI.ContinuumCoulomb.QuantumHistoryCells.qubitCellProgram line 34
  6. opaque OAI.ContinuumCoulomb.QuantumHistoryCells.termCellProgram line 58
  7. def OAI.ContinuumCoulomb.QuantumHistoryCells.qubitEntryProgram line 69
  8. def OAI.ContinuumCoulomb.QuantumHistoryCells.termEntryProgram line 75
  9. opaque OAI.ContinuumCoulomb.QuantumHistoryCells.qubitCellsProgram line 81
  10. opaque OAI.ContinuumCoulomb.QuantumHistoryCells.referenceCellsProgram line 86
  11. opaque OAI.ContinuumCoulomb.QuantumHistoryCells.valueProgram line 92
  12. def OAI.ContinuumCoulomb.QuantumHistoryCells.certificate line 97