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.

Sign up for GitHub

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

Jump to bottom

Conversion from symbolic expression with nonintegral exponent to power series ring errors #39736

Open
1 task done
user202729 opened this issue Mar 18, 2025 · 1 comment · May be fixed by #39809
Open
1 task done

Conversion from symbolic expression with nonintegral exponent to power series ring errors #39736

user202729 opened this issue Mar 18, 2025 · 1 comment · May be fixed by #39809
Labels
t: enhancement

Comments

@user202729
Copy link
Contributor

user202729 commented Mar 18, 2025 •
edited
Loading

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.
TinaJin0228 added a commit to TinaJin0228/sage that referenced this issue Mar 28, 2025
@TinaJin0228
fix issue sagemath#39736 with enhancement tackling conversion from sy…
694550e 
…mbolic expressions with nonintegral exponents to power series ring
@TinaJin0228 TinaJin0228 linked a pull request Mar 28, 2025 that will close this issue
Open
5 tasks
@TinaJin0228
Copy link
Contributor

I have made a PR about the issue. The sqrt(x+1) case is involved but the (x+1)^(x+1) still not.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
t: enhancement
Projects
None yet
Milestone
No milestone
2 participants
@user202729 @TinaJin0228