AngouriMath

Navigation

← Back to list of members

WithoutConditionsThatHold​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable,​System.​Int32)

 Method (no overloads)

Summary

The summand with any attached condition removed that is true for every index in the
range, and left alone otherwise.

Remarks

integral(n ^ n, t, 0, 1) is n ^ n provided not n = 0 or n > 0, because
0 ^ 0 is the one power that has to say what it assumes — so the summand the step
split hands over carries a condition that is simply true from 1 upwards.
ExponentialSeries has a sibling of this specialised to the clauses a
division by a factorial carries; the two vocabularies do not overlap, and a third
reader needing one would be the point at which to merge them rather than now.

























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