dependent_bterms

dependent_bterms extends SageMath's AsymptoticRing framework with a secondary symbolic variable whose growth is bounded by powers of the main asymptotic variable. This supports computations in which, for example, while tends to infinity.

The toolbox combines asymptotic expansions with explicit error bounds. It provides operations for simplifying expansions, rounding error-bound coefficients, changing the range of validity of bounds, and constructing Taylor expansions with explicit remainders.

A demonstration notebook introduces the package's capabilities. The individual functions include SageMath examples in their docstrings.