sage_acsv

sage_acsv implements algorithms for analytic combinatorics in several variables in SageMath. It computes asymptotic information about multivariate sequences with rational generating functions, using exact algebraic computations.

For generating functions of the form

the geometry of the singular variety is central to the asymptotic analysis. The package's original algorithms treat smooth cases; subsequent work extends the implementation to non-smooth singular varieties under additional geometric assumptions, using Whitney stratification.

Further capabilities include higher-order asymptotic expansions and alternative backends for algebraic computations. Documentation and examples are available online, and the package can be explored through Binder.