Recognize a power series in two variables as a rational function

asked 3 years ago

HughThomas gravatar image

Hi!

I can get Sage to calculate a power series in two variables to any desired precision. I expect that the power series is in fact the ratio of two low-degree polynomials. Is there a way to get Sage to guess what rational function it is? Thanks for your help!

Preview: (hide)

Comments

Welcome to Ask Sage! Thank you for your question.

slelievre gravatar imageslelievre ( 3 years ago )
2

You could look into the ore_algebra package:

slelievre gravatar imageslelievre ( 3 years ago )

This looks great! However, it seems like it only handles power series in a single variable, so I think it doesn't actually solve my problem.

Edited to add: once I set the two variables equal, so as to get a power series in one variable, I was able to recognize the power series by the traditional approach, i.e., looking the series of coefficients up in OEIS. (And then I was able to guess how to put the two variables back in.) So my specific problem is solved. Thanks for the help!

HughThomas gravatar imageHughThomas ( 3 years ago )
1

Any chance to provide a toy example here?

slelievre gravatar imageslelievre ( 3 years ago )