OAI/MathematicalPhysics/ContinuumCoulomb/Programs/PhysicalThresholdProgram.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.PhysicalThreshold.geometryCode line 10
  2. def OAI.ContinuumCoulomb.PhysicalThreshold.metadataCode line 11
  3. def OAI.ContinuumCoulomb.PhysicalThreshold.inputCode line 13
  4. opaque OAI.ContinuumCoulomb.PhysicalThreshold.geometryProgram line 15
  5. opaque OAI.ContinuumCoulomb.PhysicalThreshold.metadataProgram line 16
  6. opaque OAI.ContinuumCoulomb.PhysicalThreshold.meshProgram line 17
  7. opaque OAI.ContinuumCoulomb.PhysicalThreshold.boxProgram line 19
  8. opaque OAI.ContinuumCoulomb.PhysicalThreshold.electronsProgram line 21
  9. opaque OAI.ContinuumCoulomb.PhysicalThreshold.restProgram line 23
  10. opaque OAI.ContinuumCoulomb.PhysicalThreshold.errorProgram line 25
  11. opaque OAI.ContinuumCoulomb.PhysicalThreshold.endpointsProgram line 27
  12. opaque OAI.ContinuumCoulomb.PhysicalThreshold.meshCubeProgram line 30
  13. opaque OAI.ContinuumCoulomb.PhysicalThreshold.precisionProgram line 35
  14. opaque OAI.ContinuumCoulomb.PhysicalThreshold.amplificationProgram line 45
  15. opaque OAI.ContinuumCoulomb.PhysicalThreshold.referenceProgram line 53
  16. opaque OAI.ContinuumCoulomb.PhysicalThreshold.offsetProgram line 60
  17. opaque OAI.ContinuumCoulomb.PhysicalThreshold.program line 68
  18. def OAI.ContinuumCoulomb.PhysicalThreshold.certificate line 78