OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumRawTermProgram.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Complete polynomial evaluation of each rational X/Z instruction.

  1. opaque OAI.ContinuumCoulomb.QuantumRawExchange.counterLeftCoefficientProgram line 11
  2. opaque OAI.ContinuumCoulomb.QuantumRawExchange.counterRightCoefficientProgram line 17
  3. opaque OAI.ContinuumCoulomb.QuantumRawExchange.counterLeftBondProgram line 23
  4. opaque OAI.ContinuumCoulomb.QuantumRawExchange.counterRightBondProgram line 29
  5. opaque OAI.ContinuumCoulomb.QuantumRawExchange.counterLeftProgram line 35
  6. opaque OAI.ContinuumCoulomb.QuantumRawExchange.counterRightProgram line 40
  7. opaque OAI.ContinuumCoulomb.QuantumRawExchange.pairProgram line 45
  8. opaque OAI.ContinuumCoulomb.QuantumRawExchange.bondsProgram line 56
  9. opaque OAI.ContinuumCoulomb.QuantumRawExchange.offsetProgram line 61
  10. opaque OAI.ContinuumCoulomb.QuantumRawExchange.fieldShiftProgram line 66
  11. opaque OAI.ContinuumCoulomb.QuantumRawExchange.scalarProgram line 70
  12. def OAI.ContinuumCoulomb.QuantumRawExchange.termCertificate line 75