Repository navigation

Report growth exactness and make factorial exact by Stirling - #1221

Merged

isPANN merged 2 commits into

feat/growth-polynomial-exponentsfrom

feat/growth-exactness

Oct 29, 2026

Merged

Report growth exactness and make factorial exact by Stirling#1221
isPANN merged 2 commits into
feat/growth-polynomial-exponentsfrom
feat/growth-exactness

Commits on Oct 27, 2026
- Report whether a growth bound is exact, and make factorial exact by Stirling
  
  isPANN
  and
  claude
  committed
  2fdb8df
- Bound the magnitude of logarithms of decaying terms
  
  isPANN
  and
  claude
  committed
  0b41f6b