AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug Contacts

← Back to list of members

#ctor(AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity)

Method (no overloads)

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

AngouriMath

Table of contents

AngouriMath

#ctor​(AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity)

#ctor(AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity)