OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumExchangeSampleProgram.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Literal evaluation of each cross-block physical exchange coefficient.

  1. opaque OAI.ContinuumCoulomb.QuantumAxisSample.stencilProgram line 11
  2. abbrev OAI.ContinuumCoulomb.QuantumAxisSample.CrossInput line 20
  3. def OAI.ContinuumCoulomb.QuantumAxisSample.crossCode line 21
  4. opaque OAI.ContinuumCoulomb.QuantumAxisSample.crossParametersProgram line 23
  5. opaque OAI.ContinuumCoulomb.QuantumAxisSample.crossPrecisionProgram line 26
  6. opaque OAI.ContinuumCoulomb.QuantumAxisSample.crossScaleProgram line 29
  7. opaque OAI.ContinuumCoulomb.QuantumAxisSample.crossCoefficientProgram line 32
  8. opaque OAI.ContinuumCoulomb.QuantumAxisSample.crossCouplingProgram line 35
  9. opaque OAI.ContinuumCoulomb.QuantumAxisSample.crossBaseProgram line 39
  10. opaque OAI.ContinuumCoulomb.QuantumAxisSample.crossStencilProgram line 43
  11. opaque OAI.ContinuumCoulomb.QuantumAxisSample.crossValueProgram line 48
  12. def OAI.ContinuumCoulomb.QuantumAxisSample.crossValueCertificate line 53