OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/CalibratedEvaluationComponents.lean

GitHub source file

31 declarations, 0 contain sorry, 0 declared as axioms

An actual polynomial TM2 evaluator for the Coulomb-calibrated residual. This is the numeric callback used by deterministic bisection.

  1. def OAI.ContinuumCoulomb.CalibratedEvaluation.environmentCode line 13
  2. def OAI.ContinuumCoulomb.CalibratedEvaluation.inputCode line 16
  3. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.coulombPrecisionProgram line 18
  4. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.hoppingPrecisionProgram line 29
  5. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.rootPrecisionProgram line 39
  6. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.environmentProgram line 42
  7. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.distanceProgram line 44
  8. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.metadataProgram line 46
  9. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.boundProgram line 50
  10. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.precisionProgram line 52
  11. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.parametersProgram line 54
  12. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.scaleProgram line 58
  13. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.scalarParametersProgram line 60
  14. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.tauProgram line 63
  15. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.weightProgram line 65
  16. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.coulombAccuracyProgram line 67
  17. def OAI.ContinuumCoulomb.CalibratedEvaluation.onsiteArgument line 70
  18. def OAI.ContinuumCoulomb.CalibratedEvaluation.separatedArgument line 72
  19. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.onsiteArgumentProgram line 75
  20. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.separatedArgumentProgram line 78
  21. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.onsiteRawProgram line 82
  22. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.separatedRawProgram line 85
  23. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.onsiteProgram line 89
  24. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.separatedProgram line 92
  25. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.gapProgram line 96
  26. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.radicandProgram line 101
  27. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.rootProgram line 104
  28. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.hoppingAccuracyProgram line 109
  29. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.hoppingProgram line 112
  30. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.scaledHoppingProgram line 115
  31. opaque OAI.ContinuumCoulomb.CalibratedEvaluation.targetProgram line 120