RationalFunctionSum RΒΆ

sum.spad line 262

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