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).