OAI/MathematicalPhysics/ContinuumCoulomb/Programs/CenteredPhysicalThresholdProgram.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

Polynomial-time arithmetic for the complete physical threshold pair.

  1. def OAI.ContinuumCoulomb.CenteredPhysicalThreshold.geometryCode line 10
  2. def OAI.ContinuumCoulomb.CenteredPhysicalThreshold.metadataCode line 11
  3. def OAI.ContinuumCoulomb.CenteredPhysicalThreshold.inputCode line 13
  4. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.geometryProgram line 15
  5. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.metadataProgram line 16
  6. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.meshProgram line 17
  7. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.boxProgram line 19
  8. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.electronsProgram line 21
  9. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.restProgram line 23
  10. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.errorProgram line 25
  11. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.endpointsProgram line 27
  12. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.meshCubeProgram line 30
  13. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.precisionProgram line 35
  14. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.amplificationProgram line 45
  15. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.referenceProgram line 53
  16. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.offsetProgram line 60
  17. opaque OAI.ContinuumCoulomb.CenteredPhysicalThreshold.program line 68
  18. def OAI.ContinuumCoulomb.CenteredPhysicalThreshold.certificate line 78