T inf(interval<T> x) [source]
T inf(interval<T> x)
Returns the infimum (lower bound) of interval xxx.
inf:IR→R\inf: \mathbb{IR} \rightarrow \mathbb{R}inf:IR→R
T sup(interval<T> x) [source]
T sup(interval<T> x)
Returns the supremum (upper bound) of interval xxx.
sup:IR→R\sup: \mathbb{IR} \rightarrow \mathbb{R}sup:IR→R
T mid(interval<T> x) [source]
T mid(interval<T> x)
Returns the midpoint of interval xxx.
mid:IR→R\mathrm{mid}: \mathbb{IR} \rightarrow \mathbb{R}mid:IR→R
T width(interval<T> x) [source]
T width(interval<T> x)
Returns the width of interval xxx.
width:IR→R≥0\mathrm{width}: \mathbb{IR} \rightarrow \mathbb{R}_{\ge \mathbf{0}}width:IR→R≥0