AngouriMath

Navigation

← Back to list of members

DivergesAtAVanishingDivisor​(AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity.​Variable,​AngouriMath.​Entity,​AngouriMath.​Core.​ApproachFrom)

 Method (no overloads)

Summary

The infinity a quotient tends to when its divisor vanishes and its dividend does not,
or null where that is not the shape or the side the divisor
vanishes from cannot be read off.

Remarks

The descent puts each part's own limit in place of the part, and for this shape that
throws away the only thing that decides the answer. cos(x) / sin(x) at 0
becomes 1 / 0, which is NaN -- the claim that the limit does not exist -- where
on the right it is +oo and on the left -oo.
The side the divisor vanishes from is read off its first derivative that does not
vanish with it. Where g(a) = 0 and the first non-vanishing derivative there is
the k-th, g(x) has the sign of g_k(a) * (x - a)^k near a, which is the
sign of g_k(a) on the right and that times (-1)^k on the left. Nothing
is claimed unless a derivative comes out finite and non-zero at the point: an
expression that is not differentiable there, or whose derivative diverges as
sqrt(x)'s does, is left alone.

























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