AngouriMath
Navigation
HasAStepThatJumpsNear(AngouriMath.Entity,AngouriMath.Entity.Variable,AngouriMath.Entity,AngouriMath.Core.ApproachFrom)
Method (no overloads)
Summary
Whether a step function in expr jumps in every neighbourhood of the
destination: a floor, a ceil or a round whose argument does not tend to a finite value,
or a sign whose argument has no limit, and so may cross zero all the way in.
destination: a floor, a ceil or a round whose argument does not tend to a finite value,
or a sign whose argument has no limit, and so may cross zero all the way in.
Remarks
l'Hopital's rule needs both parts differentiable on a punctured neighbourhood of the
destination. The derivative of floor(x) is 0 provided not x in ZZ, and every
neighbourhood of +oo holds integers, so floor(x) / x at +oo read 0 / 1 and answered 0,
where it is 1. Where the argument tends to a finite value the step is constant on
either side of the destination, and the rule holds there.
#2281
destination. The derivative of floor(x) is 0 provided not x in ZZ, and every
neighbourhood of +oo holds integers, so floor(x) / x at +oo read 0 / 1 and answered 0,
where it is 1. Where the argument tends to a finite value the step is constant on
either side of the destination, and the rule holds there.
#2281
Angouri © 2019-2026 · Project's repo · Site's repo · Octicons · Transparency · 5629 pages online