OAI/MathematicalPhysics/ContinuumCoulomb/Programs/RawCoulombSampleProgram.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

Literal polynomial programs for the Coulomb samples and their six-coordinate summation.

  1. abbrev OAI.ContinuumCoulomb.RawCoulombSample.Settings line 12
  2. abbrev OAI.ContinuumCoulomb.RawCoulombSample.Input line 13
  3. abbrev OAI.ContinuumCoulomb.RawCoulombSample.DifferenceInput line 14
  4. def OAI.ContinuumCoulomb.RawCoulombSample.settingsCode line 16
  5. def OAI.ContinuumCoulomb.RawCoulombSample.inputCode line 18
  6. def OAI.ContinuumCoulomb.RawCoulombSample.differenceCode line 19
  7. def OAI.ContinuumCoulomb.RawCoulombSample.evaluate line 21
  8. opaque OAI.ContinuumCoulomb.RawCoulombSample.firstCoordinate line 24
  9. opaque OAI.ContinuumCoulomb.RawCoulombSample.secondCoordinate line 26
  10. opaque OAI.ContinuumCoulomb.RawCoulombSample.thirdCoordinate line 28
  11. opaque OAI.ContinuumCoulomb.RawCoulombSample.differenceProgram line 31
  12. opaque OAI.ContinuumCoulomb.RawCoulombSample.sampleProgram line 48
  13. def OAI.ContinuumCoulomb.RawCoulombSample.sixEvaluator line 66
  14. abbrev OAI.ContinuumCoulomb.RawCoulombSample.SixInput line 69
  15. def OAI.ContinuumCoulomb.RawCoulombSample.sixInputCode line 70
  16. def OAI.ContinuumCoulomb.RawCoulombSample.sixInput line 74
  17. opaque OAI.ContinuumCoulomb.RawCoulombSample.sixInputProgram line 77
  18. opaque OAI.ContinuumCoulomb.RawCoulombSample.sixSampleProgram line 100
  19. opaque OAI.ContinuumCoulomb.RawCoulombSample.quadratureProgram line 104
  20. def OAI.ContinuumCoulomb.RawCoulombSample.quadratureCertificate line 109