OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/NormalizationArithmetic.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

Unary arithmetic for the explicit normalization quadrature schedule.

  1. opaque OAI.ContinuumCoulomb.NormalizationSchedule.constant4096Program line 10
  2. opaque OAI.ContinuumCoulomb.NormalizationSchedule.constant8192Program line 14
  3. opaque OAI.ContinuumCoulomb.NormalizationSchedule.scaleSuccessorProgram line 19
  4. opaque OAI.ContinuumCoulomb.NormalizationSchedule.radiusProgram line 24
  5. opaque OAI.ContinuumCoulomb.NormalizationSchedule.cubeProgram line 28
  6. opaque OAI.ContinuumCoulomb.NormalizationSchedule.radiusCubeProgram line 33
  7. opaque OAI.ContinuumCoulomb.NormalizationSchedule.meshPrefixProgram line 36
  8. opaque OAI.ContinuumCoulomb.NormalizationSchedule.meshFactorsProgram line 40
  9. opaque OAI.ContinuumCoulomb.NormalizationSchedule.meshRawProgram line 43
  10. opaque OAI.ContinuumCoulomb.NormalizationSchedule.meshProgram line 46
  11. opaque OAI.ContinuumCoulomb.NormalizationSchedule.radiusSquareProgram line 49
  12. opaque OAI.ContinuumCoulomb.NormalizationSchedule.accuracyPrefixProgram line 52
  13. opaque OAI.ContinuumCoulomb.NormalizationSchedule.accuracyFactorsProgram line 57
  14. opaque OAI.ContinuumCoulomb.NormalizationSchedule.accuracyRawProgram line 60
  15. opaque OAI.ContinuumCoulomb.NormalizationSchedule.accuracyProgram line 63
  16. opaque OAI.ContinuumCoulomb.NormalizationSchedule.doubleRadiusProgram line 66