AngouriMath

Navigation

← Back to list of members

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

 Method (no overloads)

Summary

The limit of f(x)^g(x) where the pair is indeterminate and the second remarkable
limit does not already cover it -- that is, 0^0 and oo^0 -- or null where that is not the shape or the exponent settles nothing.

Remarks

The descent substitutes each part's own limit, so both of these arrive as 0^0, which
is NaN. Written over as e^(g * ln f), the same question is the limit of a product of
something vanishing with something diverging, which the rules below can take apart.
The exponent is asked as a limit of its own rather than rewritten in place, because a
rewrite would only hand the descent a product it reads no better than the power: the
descent substitutes the parts' limits and does not apply l'Hopital's rule to a part.
Asking outright is what puts the whole machinery behind the exponent.
1^oo is left to ApplySecondRemarkable(AngouriMath.Entity,AngouriMath.Entity.Variable,AngouriMath.Entity), which answers it more directly,
and 0^oo and oo^oo are not indeterminate at all.

























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