OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumForkListInitialProgram.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Literal lookup, parity and rational coefficient programs for the initial odd subdivision. Endpoint queries read the actual input bond list.

  1. def OAI.ContinuumCoulomb.QuantumForkList.initialLookupCode line 13
  2. def OAI.ContinuumCoulomb.QuantumForkList.initialBondProgram line 16
  3. def OAI.ContinuumCoulomb.QuantumForkList.initialParityProgram line 23
  4. def OAI.ContinuumCoulomb.QuantumForkList.initialEndpointProgram line 28
  5. def OAI.ContinuumCoulomb.QuantumForkList.initialWeightCode line 39
  6. def OAI.ContinuumCoulomb.QuantumForkList.initialWeightProgram line 42
  7. def OAI.ContinuumCoulomb.QuantumForkList.initialMatch line 57
  8. def OAI.ContinuumCoulomb.QuantumForkList.initialMatchProgram line 60
  9. def OAI.ContinuumCoulomb.QuantumForkList.initialIndicesProgram line 73
  10. def OAI.ContinuumCoulomb.QuantumForkList.initialPointProgram line 93
  11. def OAI.ContinuumCoulomb.QuantumForkList.initialGroupInputCode line 102
  12. def OAI.ContinuumCoulomb.QuantumForkList.initialGroupProgram line 105
  13. def OAI.ContinuumCoulomb.QuantumForkList.initialGroupsCode line 119
  14. def OAI.ContinuumCoulomb.QuantumForkList.initialGroupAtProgram line 122
  15. def OAI.ContinuumCoulomb.QuantumForkList.initialGroupsProgram line 134