symbolic sums with known parameters should simplify()

[rwst]

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/

Component: symbolics

Reviewer: Jeroen Demeyer

Issue created by migration from https://trac.sagemath.org/ticket/17422

[jdemeyer]

comment:2

Duplicate of #15346.

[jdemeyer]

Reviewer: Jeroen Demeyer

[rwst]

Branch: u/rws/symbolic_sums_with_known_parameters_should_simplify__

[rwst]

Changed branch from u/rws/symbolic_sums_with_known_parameters_should_simplify__ to none