Skip to content

Commit

Permalink
feat(analysis/asymptotics): Generalize superpolynomial decay using li…
Browse files Browse the repository at this point in the history 
…mits instead of big O (#10296)

This PR generalizes the definition of `superpolynomial_decay` in terms of `filter.tendsto` instead of `asymptotics.is_O`.
  • Loading branch information
@dtumad
dtumad committed Nov 24, 2021
1 parent 18e5510 commit daf30fd
Show file tree
Hide file tree
Showing 3 changed files with 252 additions and 213 deletions.

0 comments on commit daf30fd

Please sign in to comment.