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
Handle substitutions of partial sums and products #18396
Comments
This comment has been minimized.
This comment has been minimized.
comment:2
I'm not so sure we have to do more than document it. Obviously you cannot expect substitutions to happen on any "equal" subexpression, since that concept isn't well-defined. The thing is: You'll have to decide how much tricks are worthwhile to implement before you just add the relation |
comment:3
Replying to @nbruin:
I do not want to substitute "equal" subexpression but only identical ones. And doing so, I want to consider 'a+c' as a unit of 'a+b+c+d' and 'ac' as a unit in 'abcd'. This is perhaps not desirable though.
I know, and this is precisely the purpose of the ticket.
Note that |
This comment has been minimized.
This comment has been minimized.
comment:5
However, even the |
This comment has been minimized.
This comment has been minimized.
Of note :
This suggests that an |
Sage is not able to identify partial sum in a substitution
Similarly with products
As mentioned in the doc, this is the same behavior as in Maple but differ from Mathematica. We should be clearer on the semantic of
substitute
and potentially implement partial sum and product substitutions.See also #10049 and http://ask.sagemath.org/question/25972/substitute-xy-by-u/ (with related ticket #17879)
CC: @orlitzky @mezzarobba
Component: symbolics
Issue created by migration from https://trac.sagemath.org/ticket/18396
The text was updated successfully, but these errors were encountered: