  We combine tools from homotopy continuation solvers with the methods of
analytic combinatorics in several variables to give the first practical
algorithm and implementation for the asymptotics of multivariate rational
generating functions not relying on a non-algorithmically checkable
`combinatorial' non-negativity assumption. Our homotopy implementation
terminates on examples from the literature in three variables, and we
additionally describe heuristic methods that terminate and correctly predict
asymptotic behaviour in reasonable time on examples in even higher dimension.
Our results are implemented in Julia, through the use of the
HomotopyContinuation.jl package, and we provide a selection of examples and
benchmarks.
