AngouriMath
IsPositive(AngouriMath.Entity)
Method (no overloads)
Summary
Whether expression is positive by the facts in scope. Each fact bounds
a quantity below:a > b and b < a say a - b > 0 , and a
member of the primes, the positive or the non-negative whole numbers is at least 2, 1
or 0. The expression is positive where it is such a quantity plus a constant that is
not negative, or plus a positive one where the bound is not strict:p - 1 for a
primep is p - 2 plus 1.
a quantity below:
member of the primes, the positive or the non-negative whole numbers is at least 2, 1
or 0. The expression is positive where it is such a quantity plus a constant that is
not negative, or plus a positive one where the bound is not strict:
prime
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online