OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumForkListProgram.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Literal finite-list programs for the active-port pairs in a fork round. Only the finite input lists are enumerated; spin Hilbert-space bases are absent.

  1. def OAI.ContinuumCoulomb.QuantumForkList.portCode line 14
  2. def OAI.ContinuumCoulomb.QuantumForkList.pairCode line 15
  3. def OAI.ContinuumCoulomb.QuantumForkList.groupsCode line 16
  4. def OAI.ContinuumCoulomb.QuantumForkList.taggedCode line 17
  5. def OAI.ContinuumCoulomb.QuantumForkList.stateCode line 18
  6. def OAI.ContinuumCoulomb.QuantumForkList.halfProgram line 22
  7. def OAI.ContinuumCoulomb.QuantumForkList.portAtProgram line 30
  8. def OAI.ContinuumCoulomb.QuantumForkList.pairAtProgram line 37
  9. def OAI.ContinuumCoulomb.QuantumForkList.pairsProgram line 46
  10. def OAI.ContinuumCoulomb.QuantumForkList.unpairedProgram line 51
  11. def OAI.ContinuumCoulomb.QuantumForkList.groupAtProgram line 57
  12. def OAI.ContinuumCoulomb.QuantumForkList.taggedPairsProgram line 63
  13. def OAI.ContinuumCoulomb.QuantumForkList.catalogProgram line 74
  14. def OAI.ContinuumCoulomb.QuantumForkList.pairCountProgram line 81
  15. def OAI.ContinuumCoulomb.QuantumForkList.retainedProgram line 85