OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumListMergeProgram.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Literal polynomial pair-table enumeration and rational accumulation for canonical bond merging. The vertex count is represented in unary.

  1. abbrev OAI.ContinuumCoulomb.QuantumListMerge.Input line 15
  2. def OAI.ContinuumCoulomb.QuantumListMerge.inputCode line 16
  3. def OAI.ContinuumCoulomb.QuantumListMerge.orderedProgram line 18
  4. def OAI.ContinuumCoulomb.QuantumListMerge.rowProgram line 30
  5. def OAI.ContinuumCoulomb.QuantumListMerge.pairsProgram line 36
  6. def OAI.ContinuumCoulomb.QuantumListMerge.filterProgram line 45
  7. def OAI.ContinuumCoulomb.QuantumListMerge.supportProgram line 68
  8. def OAI.ContinuumCoulomb.QuantumListMerge.weightProgram line 74
  9. def OAI.ContinuumCoulomb.QuantumListMerge.valueProgram line 90