OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumListRouteProgram.lean

GitHub source file

37 declarations, 0 contain sorry, 0 declared as axioms

Literal route lists accompanying the bond/work scheduler. Every new pair is placed at the first two internal points of its selected route.

  1. abbrev OAI.ContinuumCoulomb.QuantumListRouteProgram.Routed line 14
  2. def OAI.ContinuumCoulomb.QuantumListRouteProgram.routedCode line 15
  3. abbrev OAI.ContinuumCoulomb.QuantumListRouteProgram.State line 16
  4. def OAI.ContinuumCoulomb.QuantumListRouteProgram.stateCode line 17
  5. abbrev OAI.ContinuumCoulomb.QuantumListRouteProgram.Input line 19
  6. def OAI.ContinuumCoulomb.QuantumListRouteProgram.inputCode line 20
  7. def OAI.ContinuumCoulomb.QuantumListRouteProgram.indexed line 22
  8. def OAI.ContinuumCoulomb.QuantumListRouteProgram.decorated line 24
  9. def OAI.ContinuumCoulomb.QuantumListRouteProgram.selectedRoutes line 26
  10. def OAI.ContinuumCoulomb.QuantumListRouteProgram.lookup line 28
  11. def OAI.ContinuumCoulomb.QuantumListRouteProgram.freshPoints line 29
  12. def OAI.ContinuumCoulomb.QuantumListRouteProgram.pathBlock line 30
  13. def OAI.ContinuumCoulomb.QuantumListRouteProgram.positions line 32
  14. def OAI.ContinuumCoulomb.QuantumListRouteProgram.paths line 34
  15. def OAI.ContinuumCoulomb.QuantumListRouteProgram.value line 36
  16. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.precisionProgram line 38
  17. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.dataProgram line 39
  18. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.scheduleProgram line 40
  19. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.spatialProgram line 42
  20. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.oldPositionsProgram line 45
  21. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.oldPathsProgram line 47
  22. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.entriesProgram line 49
  23. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.countProgram line 52
  24. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.indexedProgram line 56
  25. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.decoratedTabProgram line 62
  26. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.decoratedProgram line 66
  27. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.filterProgram line 70
  28. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.selectedProgram line 87
  29. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.lookupProgram line 90
  30. def OAI.ContinuumCoulomb.QuantumListRouteProgram.pairList line 95
  31. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.freshProgram line 100
  32. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.pathBlockProgram line 102
  33. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.positionsProgram line 113
  34. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.pathsProgram line 117
  35. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.program line 123
  36. def OAI.ContinuumCoulomb.QuantumListRouteProgram.iterate line 127
  37. opaque OAI.ContinuumCoulomb.QuantumListRouteProgram.iterateProgram line 130