Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Transform out spurious poles without solving the polynomials #17

Open
magv opened this issue Apr 13, 2019 · 0 comments
Open

Transform out spurious poles without solving the polynomials #17

magv opened this issue Apr 13, 2019 · 0 comments

Comments

@magv
Copy link
Collaborator

magv commented Apr 13, 2019

Some diff. eq. systems constructed naively from IBP contain spurious poles that look like A/(x^n+eps*x^m+...). Being spurious these disappear in the epsilon form, but dragging them though calculations mean that the polynomial needs to be solved, which introduces roots of high powers into intermediate stages, or even worse -- no closed form solution can be found, which stops the reduction altogether (Maple signals this with the RootOf function; Maxima usually just hangs).

We need to find a way to transform these poles out without the need for solving the polynomial. This can be done by a Moser-like transformation that balances these poles with e.g. infinity. The infinity pole then can be dealt with in the usual way.

See issues #12 and #16 for comments from people who've run into about this situation.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant