OAI/MathematicalPhysics/ContinuumCoulomb/Programs/MediatorUnaryProgram.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Actual final unary coefficient and vertex bounds, with the arithmetic nodes kept separate from the fixed finite machine texts.

  1. opaque OAI.ContinuumCoulomb.MediatorUnaryProgram.thirdDeltaRaw line 11
  2. opaque OAI.ContinuumCoulomb.MediatorUnaryProgram.thirdDelta line 14
  3. opaque OAI.ContinuumCoulomb.MediatorUnaryProgram.thirdSpokesRaw line 17
  4. opaque OAI.ContinuumCoulomb.MediatorUnaryProgram.thirdSpokes line 20
  5. opaque OAI.ContinuumCoulomb.MediatorUnaryProgram.finalBase line 24
  6. opaque OAI.ContinuumCoulomb.MediatorUnaryProgram.finalHead line 27
  7. opaque OAI.ContinuumCoulomb.MediatorUnaryProgram.finalWeightRaw line 31
  8. opaque OAI.ContinuumCoulomb.MediatorUnaryProgram.finalWeight line 37
  9. opaque OAI.ContinuumCoulomb.MediatorUnaryProgram.finalN line 41