AngouriMath

Navigation

Summationf


← Back to list of classes

Description

Summary

A summation over a bound variable: sum(f, i, from, to) is
f(from) + … + f(to).

Remarks

A CalculusOperator rather than a Sumf of many terms,
because the bounds may be symbolic — sum(i, i, 1, n) has no finite expansion
and is still a well-formed expression. Where they are concrete integers it expands,
which is what makes the common case useful without the general case being wrong.
The index is bound: it is the summation index, not a free variable of
the expression, so substituting it from outside must not reach inside. That is the
property ConditionalSet already has and the one
#878 was about
getting wrong.
#248

Members

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online