InnerPolySum(E, V, R, P)

sum.spad line 1 [edit on github]

• E: OrderedAbelianMonoidSup

• V: OrderedSet

• R: IntegralDomain

• P: PolynomialCategory(R, E, V)

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) = p(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).