RationalFunctionSum R

sum.spad line 262 [edit on github]

• R: Join(IntegralDomain, Comparable, RetractableTo Integer)

Computes sums of rational functions.

sum: (Fraction Polynomial R, SegmentBinding Fraction Polynomial R) -> Union(Fraction Polynomial R, Expression R)

sum(f(n), n = a..b) returns f(a) + f(a+1) + ... f(b).

sum: (Fraction Polynomial R, Symbol) -> Union(Fraction Polynomial R, Expression R)

sum(a(n), n) returns A which is the indefinite sum of a with respect to upward difference on n, i.e. A(n+1) - A(n) = a(n).

sum: (Polynomial R, SegmentBinding Polynomial R) -> Fraction Polynomial R

sum(f(n), n = a..b) returns f(a) + f(a+1) + ... f(b).

sum: (Polynomial R, Symbol) -> Fraction Polynomial R

sum(a(n), n) returns A which is the indefinite sum of a with respect to upward difference on n, i.e. A(n+1) - A(n) = a(n).