#17422: symbolic sums with known parameters should simplify()
-----------------------------+------------------------
Reporter: rws | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.5
Component: symbolics | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-----------------------------+------------------------
Description changed by rws:
Old description:
> A minimal case:
> {{{
> sage: (k,n) = var('k,n')
> sage: f(n)=sum(abs(-k*k+n),k,1,n)
> sage: f(n=8)
> sum(abs(-k^2 + 8), k, 1, 8)
> }}}
> I would expect `f(n=8).simplify()` or `.expand()` to give me the result
> `162` but this does not work.
>
> Related to #9424. One may depend on the other. Relevant questions were:
> * http://ask.sagemath.org/question/9937/how-do-i-evaluate-sum-
> containing-factorial/
> * http://ask.sagemath.org/question/24911/exponentiation-makes-a-formula-
> go-crazy/
New description:
A minimal case:
{{{
sage: (k,n) = var('k,n')
sage: sum(abs(-k*k+n),k,1,n)
sum(abs(-k^2 + n), k, 1, n)
sage: _(n=8)
sum(abs(-k^2 + 8), k, 1, 8)
sage: _.simplify()
sum(abs(k^2 - 8), k, 1, 8)
}}}
I would expect `_.simplify()` or `.expand()` to give me the result `162`
but this does not work.
Related to #9424. One may depend on the other. Relevant questions were:
* http://ask.sagemath.org/question/9937/how-do-i-evaluate-sum-containing-
factorial/
* http://ask.sagemath.org/question/24911/exponentiation-makes-a-formula-
go-crazy/
--
--
Ticket URL: <http://trac.sagemath.org/ticket/17422#comment:1>
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.
