OAI/MathematicalPhysics/ContinuumCoulomb/Programs/SlabBoxProgram.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Polynomial evaluation of rational-width slabs and of the exact centered mesh half-widths. Bounds remain unary; the actual widths remain rational.

  1. def OAI.ContinuumCoulomb.SlabBoxSchedule.inputCode line 11
  2. opaque OAI.ContinuumCoulomb.SlabBoxSchedule.boundsProgram line 14
  3. opaque OAI.ContinuumCoulomb.SlabBoxSchedule.widthsProgram line 16
  4. opaque OAI.ContinuumCoulomb.SlabBoxSchedule.inputProgram line 19
  5. opaque OAI.ContinuumCoulomb.SlabBoxSchedule.program line 30
  6. def OAI.ContinuumCoulomb.SlabBoxSchedule.certificate line 33
  7. def OAI.ContinuumCoulomb.SlabBoxSchedule.centeredCode line 36
  8. opaque OAI.ContinuumCoulomb.SlabBoxSchedule.centeredInputProgram line 39
  9. opaque OAI.ContinuumCoulomb.SlabBoxSchedule.centeredProgram line 56
  10. def OAI.ContinuumCoulomb.SlabBoxSchedule.centeredCertificate line 60