OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumRationalFork.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Exact rational coefficients for every stage of the global fork reduction.

  1. structure OAI.ContinuumCoulomb.QMARationalForkNetwork line 11
  2. def OAI.ContinuumCoulomb.QMARationalForkNetwork.real line 20
  3. def OAI.ContinuumCoulomb.QMARationalForkNetwork.pairWeight line 26
  4. def OAI.ContinuumCoulomb.QMARationalForkNetwork.retainedWeight line 29
  5. def OAI.ContinuumCoulomb.QMARationalForkNetwork.scale line 33
  6. theorem OAI.ContinuumCoulomb.QMARationalForkNetwork.scale_cast line 39
  7. def OAI.ContinuumCoulomb.QMARationalForkNetwork.next line 48
  8. theorem OAI.ContinuumCoulomb.QMARationalForkNetwork.next_real line 61
  9. def OAI.ContinuumCoulomb.QMARationalForkNetwork.iterate line 73
  10. theorem OAI.ContinuumCoulomb.QMARationalForkNetwork.iterate_real line 77
  11. theorem OAI.ContinuumCoulomb.QMARationalForkNetwork.iterate_energy_error line 85