Ask Your Question
1

Can sage automatically find singular points of a function?

asked 2022-01-21 03:01:38 +0200

dispo gravatar image

When computing the asymptotics of a series, a common idea is to find a generating function, then use singularity analysis to get asymptotics for your series.

Sage actually has methods that do this built-in (see here and here) but the latter (which returns an asymptotic series) requires us to input a list of dominant singularities by hand. (It also doesn't work with inputs coming from the symbolic ring, but that's a separate issue, which I might try to fix at some point).

Since in simple cases we can tell where the singularities are "at a glance" by checking for zeros in the denominator, under radicals, and inside logs, it seems like we would be able to algorithmically find the singularities by (for instance) going through the expression tree and solving for $0$ anytime we see a log, a denominator, or a fractional power.

Has anybody implemented this? Or has there been discussion about it? If not, do you know if any of sage's interfaces provide this functionality?

Thanks in advance!

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
0

answered 2022-01-21 23:30:07 +0200

tmonteil gravatar image

I am not sure, but if your generating series satisfies some differential equation with polynomial coefficients, you can have a look at the ore_algebraoptional package, see https://doc.sagemath.org/html/en/refe... and http://www.algebra.uni-linz.ac.at/peo...

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2022-01-21 03:01:38 +0200

Seen: 52 times

Last updated: Jan 21