AngouriMath
WhereTheCaseItTakesIsDefined(AngouriMath.Entity.Piecewise)
Method (no overloads)
Summary
Where a piecewise is defined: where some case's predicate holds, no earlier one does,
and that case's expression is defined. An earlier predicate that has no value --i < 0 ,
the complex numbers not being ordered -- is passed over, as
Piecewise's simplification passes over it.
and that case's expression is defined. An earlier predicate that has no value --
the complex numbers not being ordered -- is passed over, as
Piecewise's simplification passes over it.
Remarks
The domain condition of every child, conjoined, asked each predicate to be defined, and
c < 0 is defined only where c is real: piecewise(1 provided not i in RR, 2 provided i < 0) is 1 and its domain condition was false, and an antiderivative with an arm for each sign of
a discriminant and one for its not being real held nowhere when the discriminant was not.
https://github.com/asc-community/AngouriMath/issues/1817
a discriminant and one for its not being real held nowhere when the discriminant was not.
https://github.com/asc-community/AngouriMath/issues/1817
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4862 pages online