OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumPrivateList.lean

GitHub source file

27 declarations, 0 contain sorry, 0 declared as axioms

Polynomial enumeration of the complete private subdivision and its scale.

  1. def OAI.ContinuumCoulomb.QuantumPrivate.rawBudget line 12
  2. def OAI.ContinuumCoulomb.QuantumPrivate.rawScale line 13
  3. def OAI.ContinuumCoulomb.QuantumPrivate.subdivide line 15
  4. def OAI.ContinuumCoulomb.QuantumPrivate.output line 19
  5. def OAI.ContinuumCoulomb.QuantumPrivate.compile line 20
  6. opaque OAI.ContinuumCoulomb.QuantumPrivate.rawWeightMagnitudeProgram line 22
  7. opaque OAI.ContinuumCoulomb.QuantumPrivate.rawWeightSquareProgram line 24
  8. opaque OAI.ContinuumCoulomb.QuantumPrivate.rawSumProgram line 27
  9. opaque OAI.ContinuumCoulomb.QuantumPrivate.budgetProgram line 30
  10. opaque OAI.ContinuumCoulomb.QuantumPrivate.budgetSquareProgram line 34
  11. opaque OAI.ContinuumCoulomb.QuantumPrivate.budgetFourthProgram line 37
  12. opaque OAI.ContinuumCoulomb.QuantumPrivate.scaleProgram line 40
  13. opaque OAI.ContinuumCoulomb.QuantumPrivate.newCountProgram line 43
  14. opaque OAI.ContinuumCoulomb.QuantumPrivate.blockEnvironmentProgram line 45
  15. def OAI.ContinuumCoulomb.QuantumPrivate.iterationCode line 49
  16. opaque OAI.ContinuumCoulomb.QuantumPrivate.iterationIndexProgram line 50
  17. opaque OAI.ContinuumCoulomb.QuantumPrivate.iterationInputProgram line 52
  18. opaque OAI.ContinuumCoulomb.QuantumPrivate.iterationRawProgram line 53
  19. opaque OAI.ContinuumCoulomb.QuantumPrivate.iterationBlockInputProgram line 57
  20. opaque OAI.ContinuumCoulomb.QuantumPrivate.iterationProgram line 60
  21. opaque OAI.ContinuumCoulomb.QuantumPrivate.tabulatedProgram line 63
  22. opaque OAI.ContinuumCoulomb.QuantumPrivate.rowsInputProgram line 70
  23. opaque OAI.ContinuumCoulomb.QuantumPrivate.rowsProgram line 72
  24. opaque OAI.ContinuumCoulomb.QuantumPrivate.subdivideProgram line 77
  25. opaque OAI.ContinuumCoulomb.QuantumPrivate.outputProgram line 80
  26. opaque OAI.ContinuumCoulomb.QuantumPrivate.compileProgram line 82
  27. def OAI.ContinuumCoulomb.QuantumPrivate.compileCertificate line 85