What's the best symbolic approach to manipulating infinite/truncated power series?

asked 2024-09-22 02:31:09 +0200

x3141 gravatar image

I'm trying to do something similar to reversion of power series. In my case, the expression involves g(f(ax + b)) where g is a power series, f is the sum of two Taylor series, a and b are real constants. I'm hoping to identify a pattern in the coefficients of the resultant series. I'd like to manipulate the series with QQ coefficients and RR x. How should I define these series?

I'd like to then explore that expression replacing x (RR) with n (ZZ+) for further simplification. How do I convert an expression between ring types?

edit retag flag offensive close merge delete

Comments

If these are series in x, why do you care whether x is in RR? Also, why not just work in the standard power series ring?

K.<x> = PowerSeriesRing(QQ)
Max Alekseyev gravatar imageMax Alekseyev ( 2024-09-22 16:25:20 +0200 )edit