OAI/MathematicalPhysics/ContinuumCoulomb/Programs/ManufacturedFieldProgram.lean

GitHub source file

43 declarations, 0 contain sorry, 0 declared as axioms

A literal polynomial TM2 scalar evaluator for the actual manufactured three-dimensional well field. All sites, widths and scales are input data.

  1. def OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.pointCode line 13
  2. def OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.sitesCode line 14
  3. abbrev OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.PlanarInput line 15
  4. def OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.planarCode line 16
  5. abbrev OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.TermInput line 18
  6. def OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termCode line 19
  7. abbrev OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.Input line 20
  8. def OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.inputCode line 21
  9. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.translateProgram line 24
  10. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termEnvironmentProgram line 34
  11. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termSiteProgram line 36
  12. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termPrecisionProgram line 38
  13. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termDataProgram line 40
  14. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termScaleProgram line 43
  15. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termListPointProgram line 45
  16. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termSitesProgram line 47
  17. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termPointProgram line 49
  18. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termRowProgram line 52
  19. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termFractionProgram line 57
  20. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termClippedProgram line 61
  21. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.coefficientProgram line 66
  22. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termRelativeProgram line 70
  23. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termWellProgram line 74
  24. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.termProgram line 80
  25. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.planarProgram line 85
  26. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.precisionFactorsProgram line 96
  27. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.precisionProgram line 103
  28. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.dataProgram line 110
  29. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.parametersProgram line 113
  30. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.geometryProgram line 115
  31. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.sitesProgram line 117
  32. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.pointProgram line 119
  33. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.scaleProgram line 121
  34. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.widthProgram line 123
  35. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.coordinateTailProgram line 125
  36. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.planarPointProgram line 127
  37. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.heightProgram line 131
  38. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.rawCutoffProgram line 134
  39. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.rawPlanarProgram line 141
  40. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.rawProgram line 149
  41. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.inputPrecisionProgram line 153
  42. opaque OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.program line 160
  43. def OAI.ContinuumCoulomb.ManufacturedFieldEvaluation.certificate line 166