AngouriMath
LeastWitnessPeriod(AngouriMath.Entity,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
The period below which a witness of body is found if there is one,
ornull : the body is a conjunction of divisibilities repeating in
x , of comparisons linear in it that stay true as it falls, and of
atoms without it. A witness less a period is one again, until it is below the period.
or
atoms without it. A witness less a period is one again, until it is below the period.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online