#15346: Symbolic sums should evaluate
-------------------------+-------------------------------------------------
Reporter: | Owner:
kcrisman | Status: needs_review
Type: | Milestone: sage-6.4
defect | Resolution:
Priority: major | Merged in:
Component: | Reviewers: Karl-Dieter Crisman
symbolics | Work issues:
Keywords: | Commit:
Authors: Ralf | cb78603878bc1a7443e982824e13c81e22e9edda
Stephan | Stopgaps:
Report Upstream: N/A |
Branch: |
u/rws/15346 |
Dependencies: |
-------------------------+-------------------------------------------------
Comment (by mjo):
Replying to [comment:18 kcrisman]:
> As I suspected, the addition of the log thing led to some issues.
This is just a conflict from having two branches modify `simplify_full` at
the same time. You can rebase this one on top of "develop" now and I think
it'll be fine. To avoid conflicts, I would,
* Copy/paste the `expand_sum` method somewhere
* reset --hard your branch to match "develop"
* Add back the `expand_sum` method
* Update `simplify_full` and its docstring
* Recommit
I'm sure there's a smarter way to do the copy/paste step, but it works.
> Is this 'simplification' always valid for complex numbers? I know mjo
has been very good at thinking about this kind of thing, cc:ing him.
In the examples, `n` and `k` are complex, and it doesn't make any sense to
sum from, say, zero a complex number. But if anything, the bug there is
that `sum()` allows you to give it non-integer limits.
The Maxima docs aren't too clear about what `simplify_sum` does, so it's
hard to say whether or not it's safe when the summand contains complex
variables. We can try it and see what happens. Since it's hidden beneath
`simplify_full` we could always go back and remove it if it causes
problems.
--
Ticket URL: <http://trac.sagemath.org/ticket/15346#comment:19>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
