This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Commit daf30fd

committed

feat(analysis/asymptotics): Generalize superpolynomial decay using limits instead of big O (#10296)

This PR generalizes the definition of `superpolynomial_decay` in terms of `filter.tendsto` instead of `asymptotics.is_O`.

1 parent 18e5510 commit daf30fdCopy full SHA for daf30fd

3 files changed

+252

-213

lines changed

+252

-213

lines changed

Comments

(0)