AngouriMath
HoldsNear(AngouriMath.Entity,AngouriMath.Entity.Variable,AngouriMath.Entity,AngouriMath.Core.ApproachFrom)
Method (no overloads)
Summary
Whether a predicate holds throughout a punctured one-sided neighbourhood of the
destination, fails throughout one, or cannot be settled either way
(null ).
destination, fails throughout one, or cannot be settled either way
(
Remarks
This is what a limit of a piecewise expression needs and all it needs: near enough to
the destination one case is the whole of the expression, so the limit is that case's
limit. What decides a comparison is the sign the difference of its two sides keeps
near the destination, which is one question per comparison and not a solution set.
x < x , or any
predicate whose truth changes infinitely often on the way in -- settles nothing here
and comes back null, since neither answer would hold throughout a neighbourhood.
the destination one case is the whole of the expression, so the limit is that case's
limit. What decides a comparison is the sign the difference of its two sides keeps
near the destination, which is one question per comparison and not a solution set.
predicate whose truth changes infinitely often on the way in -- settles nothing here
and comes back null, since neither answer would hold throughout a neighbourhood.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online