#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 | 3ee8c6d29ce916b70e5c0f32a0ae961796344afd
Stephan | Stopgaps:
Report Upstream: N/A |
Branch: |
u/kcrisman/15346 |
Dependencies: |
-------------------------+-------------------------------------------------
Comment (by mjo):
I think it's OK to have it in `simplify_full`. It's really annoying to
have a sum of integers like,
{{{
sage: f(n=8)
sum(abs(-k^2 + 8), k, 1, 8)
}}}
with no way to get it down to a single number. (You can copy/paste the sum
back in, but that may not be an option.) It's also a lot to ask of our
users to know every method on the Expression class, but everyone knows
`simplify_full`.
If it causes problems, we can remove it. Or if it makes some expressions a
lot uglier, there's the hack I used in `simplify_rectform`:
{{{
if complexity_measure(simplified_expr) < complexity_measure(self):
return simplified_expr
else:
return self
}}}
I think it will be fine though.
--
Ticket URL: <http://trac.sagemath.org/ticket/15346#comment:31>
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.
