AngouriMath
Filtered(AngouriMath.Entity.Set.FiniteSet,AngouriMath.Entity.Set.ConditionalSet,AngouriMath.Entity,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
The members of a listed solution set at which the other side's condition is
decided: kept where it evaluates toTrue , dropped where False -- so
x^2 = 4 and not x = 2 is { -2 } -- and the conjunction as written the
moment one member is undecided, which is #1036's case, where a search left the
condition open and 1 was a root only when y was -2.
decided: kept where it evaluates to
moment one member is undecided, which is #1036's case, where a search left the
condition open and 1 was a root only when y was -2.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online