OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumSweepCellProgram.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

A polynomial program for the exact sweep tag list. Only unary width and the actual gate-list length control list generation.

  1. def OAI.ContinuumCoulomb.QuantumSweepCells.pairCode line 13
  2. opaque OAI.ContinuumCoulomb.QuantumSweepCells.repeatProgram line 15
  3. opaque OAI.ContinuumCoulomb.QuantumSweepCells.columnsProgram line 25
  4. def OAI.ContinuumCoulomb.QuantumSweepCells.takeProgram line 37
  5. opaque OAI.ContinuumCoulomb.QuantumSweepCells.rowColumnsProgram line 49
  6. opaque OAI.ContinuumCoulomb.QuantumSweepCells.rowCellsProgram line 72
  7. opaque OAI.ContinuumCoulomb.QuantumSweepCells.sweepCellsProgram line 80
  8. opaque OAI.ContinuumCoulomb.QuantumSweepCells.valueProgram line 106
  9. def OAI.ContinuumCoulomb.QuantumSweepCells.certificate line 113