RationalFunctionSum(R)

sum.spad line 262 [edit on github]

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

Computes sums of rational functions.

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

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