AngouriMath

Navigation

← Back to list of members

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

 Method (no overloads)

Summary

Whether a base stays positive on the approach to dest, which is
what makes gathering a quotient of two powers into one power sound *here* when it
is not sound in general: two positive bases have argument zero apiece, so their
quotient's argument cannot leave the principal branch.

























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