OAI/MathematicalPhysics/ContinuumCoulomb/Programs/CoulombPairProgram.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Polynomial-time rational evaluation of direct Coulomb matrix entries from their two rational planar coordinates.

  1. def OAI.ContinuumCoulomb.CoulombPairEvaluation.pointCode line 11
  2. def OAI.ContinuumCoulomb.CoulombPairEvaluation.pairCode line 12
  3. abbrev OAI.ContinuumCoulomb.CoulombPairEvaluation.Input line 13
  4. def OAI.ContinuumCoulomb.CoulombPairEvaluation.inputCode line 14
  5. opaque OAI.ContinuumCoulomb.CoulombPairEvaluation.squaredDistanceProgram line 16
  6. opaque OAI.ContinuumCoulomb.CoulombPairEvaluation.precisionProgram line 31
  7. opaque OAI.ContinuumCoulomb.CoulombPairEvaluation.rootPrecisionProgram line 35
  8. opaque OAI.ContinuumCoulomb.CoulombPairEvaluation.distanceProgram line 40
  9. opaque OAI.ContinuumCoulomb.CoulombPairEvaluation.program line 46
  10. def OAI.ContinuumCoulomb.CoulombPairEvaluation.certificate line 52