OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumForkListInitialStateProgram.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

A literal polynomial program emits the complete initial odd-subdivision state, with its rational scale, singlet bonds and scalar offset.

  1. abbrev OAI.ContinuumCoulomb.QuantumForkList.InitialInput line 12
  2. def OAI.ContinuumCoulomb.QuantumForkList.initialInputCode line 13
  3. def OAI.ContinuumCoulomb.QuantumForkList.initialInputCount line 16
  4. def OAI.ContinuumCoulomb.QuantumForkList.initialInputBonds line 20
  5. def OAI.ContinuumCoulomb.QuantumForkList.initialInputConstant line 26
  6. def OAI.ContinuumCoulomb.QuantumForkList.initialBondWeight line 31
  7. def OAI.ContinuumCoulomb.QuantumForkList.initialScaleProgram line 34
  8. def OAI.ContinuumCoulomb.QuantumForkList.initialOffsetProgram line 47
  9. def OAI.ContinuumCoulomb.QuantumForkList.initialSingletProgram line 53
  10. def OAI.ContinuumCoulomb.QuantumForkList.initialStateProgram line 64