Problem Description

var("x")
PowerSeriesRing(QQ, "x")(sqrt(x+1))

errors out.

Proposed Solution

Notice that taking the square root of a power series works, so this shouldn't be too hard to implement.

The exponent might be a power series as well, in LazyPowerSeriesRing, (x+1)^(x+1) is also implemented.

Is there an existing issue for this?

• I have searched the existing issues for a bug report that matches the one I want to file, without success.