AngouriMath
Navigation
DivergesDecidedly(AngouriMath.Entity)
Method (no overloads)
Summary
Whether a limit's value is infinite and was decided to be: IsInfiniteNode(AngouriMath.Entity),
but never for a value still holding a limit nobody could take.
but never for a value still holding a limit nobody could take.
Remarks
That limit is a question rather than a value, and the destination it carries is not
what it tends to:limit(sin(u), x, +oo) holds a +oo and says nothing
about diverging. l'Hopital's rule read sin(u) / cos(u) with both limits undecided as
oo/oo, differentiated it, and answered lim x->0- tan(x^2 + x - 1) with
-cos(-1) / sin(-1), 0.642, where it is tan(-1), -1.557. The rule is only true of the
forms it names, so it asks this.
IsInfiniteNode(AngouriMath.Entity) is kept as it was for the rewrites that ask it whether
they are worth trying, which are equalities wherever they apply: f^g as e^(g ln f)
holds whatever f tends to, and an undecided base is exactly where it is worth asking.
what it tends to:
about diverging. l'Hopital's rule read sin(u) / cos(u) with both limits undecided as
oo/oo, differentiated it, and answered lim x->0- tan(x^2 + x - 1) with
-cos(-1) / sin(-1), 0.642, where it is tan(-1), -1.557. The rule is only true of the
forms it names, so it asks this.
they are worth trying, which are equalities wherever they apply: f^g as e^(g ln f)
holds whatever f tends to, and an undecided base is exactly where it is worth asking.
Angouri © 2019-2026 · Project's repo · Site's repo · Octicons · Transparency · 5629 pages online