OAI/MathematicalPhysics/ContinuumCoulomb/Programs/SlabOriginProgram.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Literal polynomial-time program for the slab origin potential.

  1. def OAI.ContinuumCoulomb.SlabOriginSchedule.inputCode line 10
  2. opaque OAI.ContinuumCoulomb.SlabOriginSchedule.precisionProgram line 12
  3. opaque OAI.ContinuumCoulomb.SlabOriginSchedule.boxProgram line 14
  4. opaque OAI.ContinuumCoulomb.SlabOriginSchedule.horizontalProgram line 16
  5. opaque OAI.ContinuumCoulomb.SlabOriginSchedule.verticalProgram line 18
  6. opaque OAI.ContinuumCoulomb.SlabOriginSchedule.capDenominatorProgram line 21
  7. opaque OAI.ContinuumCoulomb.SlabOriginSchedule.boxWeightProgram line 27
  8. opaque OAI.ContinuumCoulomb.SlabOriginSchedule.countProgram line 39
  9. opaque OAI.ContinuumCoulomb.SlabOriginSchedule.inputProgram line 47
  10. opaque OAI.ContinuumCoulomb.SlabOriginSchedule.program line 59
  11. def OAI.ContinuumCoulomb.SlabOriginSchedule.certificate line 62