AngouriMath
BySignOf(AngouriMath.Entity,AngouriMath.Entity.Variable,AngouriMath.Entity.Set,AngouriMath.Entity.Set,AngouriMath.Entity.Set)
Method (no overloads)
Summary
The three answers a coefficient of unknown sign may have, joined into one set that
is whichever of them the sign turns out to select.
is whichever of them the sign turns out to select.
Remarks
The conditions are mutually exclusive and cover every case, so the union of the
three conditional sets is the case split -- each is empty except the one whose
condition holds. This is what a piecewise would say, said in a way that is still a
Set: Piecewise is an Entity, so
Solve(AngouriMath.Entity,AngouriMath.Entity.Variable) cannot hand one back.
(AscendingEndpoints(AngouriMath.Entity,AngouriMath.Entity)), this genuinely needs the split: lying between
the roots and lying outside them differ topologically and not arithmetically, so no
single interval covers both.
#762
three conditional sets is the case split -- each is empty except the one whose
condition holds. This is what a piecewise would say, said in a way that is still a
Set: Piecewise is an Entity, so
Solve(AngouriMath.Entity,AngouriMath.Entity.Variable) cannot hand one back.
(AscendingEndpoints(AngouriMath.Entity,AngouriMath.Entity)), this genuinely needs the split: lying between
the roots and lying outside them differ topologically and not arithmetically, so no
single interval covers both.
#762
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online