級数を含む式を、級数の変数について解くと、級数の一般化された逆を得ます。

結果は、通常、級数で、残りの決定されない変数のうちの1つについての級数になります。最も簡単な解答を与える 決定されない変数が、通常、選択されます。

グローバル変数 Order は、結果の級数の次数を決定するために使用されます。

形式的に、t = solve(f(series_in_x, y), x) が十分な項数をもつ y についての級数である場合、f の x を t で置き換えると、 0 または O(y^Order) になります。

Order := 3;

solve(series(x*exp(x),x) = y, x);

solve(series(exp(x),x) = a+b, x);