AngouriMath
Navigation
← Back to list of members
MembershipAsComparison(AngouriMath.Entity,AngouriMath.Entity.Set)
Method (no overloads)
Summary
s in S for a set of whole numbers, as the comparison it is where the facts in scope
make s a whole number: s >= 0 in ZZ*, s >= 1 in ZZ+, and
True in ZZ; and |s| as not s = 0 in ZZ+ and True in the
other two. null otherwise. Sullivan and Mackey's Prob
4.11.6 asks for a z in ZZ* with x - y = z or y - x = z, for whole
x and y: the witnesses are x - y and y - x, one of which is
not negative.
Angouri © 2019-2023 ·
Project's repo ·
Site's repo ·
Octicons ·
Transparency ·
4378 pages online