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.
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
Conversion to SR adds unnecessary coefficient "1*" and creates an expression without variables #34695
Comments
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
comment:4
I don't think these are bugs; maybe possibilities for enhancements. You can look at the types:
As you can see, univariate series are converted to a different type, which apparently explicitly prints the coefficient, even if it's 1. From the last line you can see that the multivariate series got wrapped as basically a "constant" in the symbolic ring. This indicates that no more advanced mechanism for converting to For either case, |
comment:5
At very least I'd expect that under conversion of an algebraic object (polynomial or series) into I understand that there are workarounds such as intermediate conversion to a polynomial, but I'd really appreciate if this bug is fixed so no workaround would be needed. |
comment:6
Replying to Max Alekseyev:
I haven't checked, but there may not be an appropriate multivariate series object in SR to map to. You could just truncate and map that, as "polynomial" does, but that's far from a perfect conversion either. It's definitely worth opening a ticket for implementing a more meaningful conversion there, since mapping them to symbolic atoms is almost surely useless, but I expect that ticket won't be trivial to resolve. Someone would have to study what a reasonable target construction in SR would be. You could repurpose this ticket for that purpose and perhaps split out improving printing of |
The following code
prints
That is, conversion
SR(t)
produces1*t
rather than justt
, while conversionsSR(u)
andSR(v)
produce expressions with no variables.Component: symbolics
Issue created by migration from https://trac.sagemath.org/ticket/34695
The text was updated successfully, but these errors were encountered: