OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumSweepProgram.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

Literal arithmetic and finite lists for the alternating row sweep. The row width is supplied in unary exactly where a list is enumerated.

  1. abbrev OAI.ContinuumCoulomb.QuantumCircuitCode.TripleNat line 16
  2. def OAI.ContinuumCoulomb.QuantumCircuitCode.tripleNatCode line 17
  3. def OAI.ContinuumCoulomb.QuantumCircuitCode.sweepIndexProgram line 19
  4. abbrev OAI.ContinuumCoulomb.QuantumCircuitCode.RowGate line 30
  5. def OAI.ContinuumCoulomb.QuantumCircuitCode.rowGateCode line 31
  6. def OAI.ContinuumCoulomb.QuantumCircuitCode.rowCutProgram line 33
  7. def OAI.ContinuumCoulomb.QuantumCircuitCode.rowAddressProgram line 52
  8. def OAI.ContinuumCoulomb.QuantumCircuitCode.mapToRowProgram line 62
  9. def OAI.ContinuumCoulomb.QuantumCircuitCode.wirePairCode line 79
  10. def OAI.ContinuumCoulomb.QuantumCircuitCode.rowPairsInputCode line 80
  11. def OAI.ContinuumCoulomb.QuantumCircuitCode.rowPairsProgram line 83
  12. def OAI.ContinuumCoulomb.QuantumCircuitCode.transferListProgram line 107
  13. def OAI.ContinuumCoulomb.QuantumCircuitCode.pairTakeProgram line 120
  14. abbrev OAI.ContinuumCoulomb.QuantumCircuitCode.StageInput line 133
  15. def OAI.ContinuumCoulomb.QuantumCircuitCode.stageInputCode line 134
  16. def OAI.ContinuumCoulomb.QuantumCircuitCode.rowStageProgram line 137