AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug Contacts

SolveWithABoundedPart(AngouriMath.Entity,AngouriMath.Entity.Variable)

Method (no overloads)

Summary

The other shapes the squeeze theorem's premise settles, where the bounded part is also
kept away from 0, or is a term rather than a factor: a part vanishing over one bounded
away from 0 tends to 0, a part diverging times or over one bounded away from 0 diverges
with the sign the product takes, and a diverging term beside a bounded one diverges.

Remarks

e^x / e^(cos(x)) at -oo is 0, and was answered NaN: the descent put
e^(cos(x))'s own limit, which does not exist, in place of the divisor, and a
quotient of a limit and no limit read as no limit. The divisor has no limit and still
lies in [1/e, e] all the way in, which is all the quotient needs of it. The
bound is read off the shape (Enclosure(AngouriMath.Entity,AngouriMath.Entity.Variable)), never off sampled values, and
where the enclosure reaches 0 nothing is claimed: x / (1 + cos(x)) stays
unanswered, as it has poles all the way in.

AngouriMath

Table of contents

AngouriMath

SolveWithABoundedPart​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable)

SolveWithABoundedPart(AngouriMath.Entity,AngouriMath.Entity.Variable)