OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/CalibratedEvaluationParameters.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

The literal scalar function supplied to calibrated-distance bisection. The displacement/weight bound, amplification and requested accuracy are unary; the positive target parameters and the queried distance are rational.

  1. abbrev OAI.ContinuumCoulomb.CalibratedEvaluation.Environment line 13
  2. def OAI.ContinuumCoulomb.CalibratedEvaluation.coulombPrecision line 15
  3. def OAI.ContinuumCoulomb.CalibratedEvaluation.hoppingPrecision line 16
  4. def OAI.ContinuumCoulomb.CalibratedEvaluation.rootPrecision line 17
  5. def OAI.ContinuumCoulomb.CalibratedEvaluation.gap line 19
  6. def OAI.ContinuumCoulomb.CalibratedEvaluation.root line 23
  7. def OAI.ContinuumCoulomb.CalibratedEvaluation.value line 26