OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumAxisSampleProgram.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Literal polynomial programs for the algebraic four-spin coupling samples.

  1. opaque OAI.ContinuumCoulomb.QuantumAxisSample.valueProgram line 12
  2. def OAI.ContinuumCoulomb.QuantumAxisSample.radialCode line 20
  3. opaque OAI.ContinuumCoulomb.QuantumAxisSample.radicandProgram line 22
  4. def OAI.ContinuumCoulomb.QuantumAxisSample.couplingCode line 33
  5. opaque OAI.ContinuumCoulomb.QuantumAxisSample.couplingProgram line 35
  6. def OAI.ContinuumCoulomb.QuantumAxisSample.couplingCertificate line 44
  7. def OAI.ContinuumCoulomb.QuantumAxisSample.calibrated line 48
  8. opaque OAI.ContinuumCoulomb.QuantumAxisSample.inputPrecisionProgram line 50
  9. opaque OAI.ContinuumCoulomb.QuantumAxisSample.inputCoefficientProgram line 53
  10. opaque OAI.ContinuumCoulomb.QuantumAxisSample.doubledPrecisionProgram line 56
  11. opaque OAI.ContinuumCoulomb.QuantumAxisSample.innerPrecisionProgram line 59
  12. opaque OAI.ContinuumCoulomb.QuantumAxisSample.calibratedArgumentsProgram line 62
  13. opaque OAI.ContinuumCoulomb.QuantumAxisSample.calibratedProgram line 66
  14. def OAI.ContinuumCoulomb.QuantumAxisSample.calibratedCertificate line 69