OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumPolynomialUnary.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A fixed natural polynomial has a literal unary evaluation program. The polynomial is compiled by Horner recursion, using unary addition and multiplication.

  1. def OAI.ContinuumCoulomb.QuantumPolynomialUnary.program line 12