irregular summations in Home/CAS

[parisse]

There is a good reason to choose the definition compatible with Chasles inside a CAS : the fact that boundaries can be symbolic.
For example factor(sum(k^2,k,0,n)) will return the well-known formula n*(n+1)*(2*n+1)/6. That would not work for n<0 with other definitions.