OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumRawProgram.lean

GitHub source file

30 declarations, 0 contain sorry, 0 declared as axioms

Literal polynomial programs for fixed-size physical exchange instructions.

  1. def OAI.ContinuumCoulomb.QuantumRawExchange.fixedListProgram line 11
  2. def OAI.ContinuumCoulomb.QuantumRawExchange.selectAxis line 22
  3. opaque OAI.ContinuumCoulomb.QuantumRawExchange.envProgram line 30
  4. opaque OAI.ContinuumCoulomb.QuantumRawExchange.rawProgram line 31
  5. opaque OAI.ContinuumCoulomb.QuantumRawExchange.precisionProgram line 32
  6. opaque OAI.ContinuumCoulomb.QuantumRawExchange.scaleProgram line 34
  7. opaque OAI.ContinuumCoulomb.QuantumRawExchange.flagsProgram line 36
  8. opaque OAI.ContinuumCoulomb.QuantumRawExchange.pairFlagProgram line 38
  9. opaque OAI.ContinuumCoulomb.QuantumRawExchange.fieldFlagProgram line 40
  10. opaque OAI.ContinuumCoulomb.QuantumRawExchange.dataProgram line 42
  11. opaque OAI.ContinuumCoulomb.QuantumRawExchange.sitesProgram line 45
  12. opaque OAI.ContinuumCoulomb.QuantumRawExchange.leftProgram line 47
  13. opaque OAI.ContinuumCoulomb.QuantumRawExchange.rightProgram line 49
  14. opaque OAI.ContinuumCoulomb.QuantumRawExchange.axesWeightProgram line 51
  15. opaque OAI.ContinuumCoulomb.QuantumRawExchange.axesProgram line 54
  16. opaque OAI.ContinuumCoulomb.QuantumRawExchange.axisLeftProgram line 56
  17. opaque OAI.ContinuumCoulomb.QuantumRawExchange.axisRightProgram line 58
  18. opaque OAI.ContinuumCoulomb.QuantumRawExchange.weightProgram line 60
  19. opaque OAI.ContinuumCoulomb.QuantumRawExchange.radialProgram line 62
  20. opaque OAI.ContinuumCoulomb.QuantumRawExchange.crossInputProgram line 64
  21. opaque OAI.ContinuumCoulomb.QuantumRawExchange.baseLeftProgram line 67
  22. opaque OAI.ContinuumCoulomb.QuantumRawExchange.baseRightProgram line 69
  23. opaque OAI.ContinuumCoulomb.QuantumRawExchange.shiftedLeftProgram line 72
  24. opaque OAI.ContinuumCoulomb.QuantumRawExchange.shiftedRightProgram line 74
  25. opaque OAI.ContinuumCoulomb.QuantumRawExchange.fieldCoefficientProgram line 77
  26. opaque OAI.ContinuumCoulomb.QuantumRawExchange.fieldBondProgram line 81
  27. opaque OAI.ContinuumCoulomb.QuantumRawExchange.fieldProgram line 86
  28. opaque OAI.ContinuumCoulomb.QuantumRawExchange.crossCoefficientProgram line 90
  29. opaque OAI.ContinuumCoulomb.QuantumRawExchange.crossBondProgram line 95
  30. opaque OAI.ContinuumCoulomb.QuantumRawExchange.crossProgram line 100