AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

← Back to list of members

ScaledInterval(AngouriMath.Entity.Set.Interval,AngouriMath.Entity,System.Boolean)

Method (no overloads)

Summary

interval scaled by factor, or
null where the factor's sign is not known.

Remarks

Scaling is monotone in the factor's sign and in nothing else, so this is the whole of
it: a positive factor carries both ends where they were, and a negative one
reflects the interval — the ends swap, and their openness swaps with them,
exactly as subtracting an interval does. (0; 1] * -2 is [-2; 0): the
included 1 becomes the included lower end -2, and the excluded 0 becomes the excluded
upper end 0.
An unknown sign is answered by not answering.(0; 1) * k for a symbolic
k is one interval when k is positive and the reflected one when it is
negative, and picking either would be choosing which. It is left alone, which is what
an unevaluated node means.
Zero never reaches here: Mulf answers a multiplication by zero before this is
consulted, and gives the number 0 rather than the set { 0 }. That is
older than this and is left as it is — the arm it comes from is over every
Entity and not only intervals.

AngouriMath

Table of contents

AngouriMath

ScaledInterval​(AngouriMath.​Entity.​Set.​Interval,​AngouriMath.​Entity,​System.​Boolean)

ScaledInterval(AngouriMath.Entity.Set.Interval,AngouriMath.Entity,System.Boolean)