AngouriMath
SetsAreEqual(AngouriMath.Entity.Set,AngouriMath.Entity.Set,System.Boolean)
Method (no overloads)
Summary
Two sets are equal exactly when each is a subset of the other -- the double
containment that defines set equality -- so a pair of sets that are not the same
node is put to Subsetf both ways:{ x in ZZ : x >= 1 } = ZZ+ is True , [0; 1] = [0; 2] is False , and a pair the subset
decision leaves open stays written.
https://github.com/asc-community/AngouriMath/issues/1409
containment that defines set equality -- so a pair of sets that are not the same
node is put to Subsetf both ways:
decision leaves open stays written.
https://github.com/asc-community/AngouriMath/issues/1409
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online