InnerPolySum(E, V, R, P)ΒΆ

sum.spad line 1

tools for the summation packages.

sum: (P, V) -> Record(num: P, den: Integer)
sum(p(n), n) returns P(n), the indefinite sum of p(n) with respect to upward difference on n, i.e. P(n+1) - P(n) = a(n).
sum: (P, V, Segment P) -> Record(num: P, den: Integer)
sum(p(n), n = a..b) returns p(a) + p(a+1) + ... + p(b).