AngouriMath

Navigation

← Back to list of members

LimitOfAStepFunction​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable,​AngouriMath.​Entity,​AngouriMath.​Core.​ApproachFrom,​System.​Func{AngouriMath.​Entity,​AngouriMath.​Entity})

 Method (no overloads)

Summary

The limit of a function that is constant between consecutive integers and jumps at
each of them, given the limit of its argument.

Remarks

Away from the jumps the function is locally constant, so the limit is simply the
function of the argument's limit. On a jump there is nothing to say: the value
differs on the two sides of it, and which side the argument arrives from is not
decided by the side x approaches its destination from --
lim(x -> 0+) floor(2 - x^2) reaches 2 from below and lim(x -> 0+) floor(2 + x^2)
from above, and both are limits from the right.
Null is returned there rather than an unevaluated limit of the very expression being
asked about. The latter is what the inherited default does, and it does not merely
fail to answer: the two-sided path compares its one-sided results by evaluating them,
evaluating a limit computes it, and computing it arrives back here. The recursion
ends by overflowing the stack, which kills the process rather than raising anything a
caller could catch.
#829 is that
fault on these two nodes and
#704 was the
same one on Signumf.

























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