Skip to content

Basic

Details

Returns the additive inverse of the interval x-x.

±0 ulps

:IRIR-: \mathbb{IR} \rightarrow \mathbb{IR}


Details

Returns the interval sum a+ba + b.

±0 ulps

+:IR×IRIR+: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{IR}


Details

Returns the interval difference aba - b.

±0 ulps

:IR×IRIR-: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{IR}


Details

Returns the interval product a×ba \times b.

±0 ulps

×:IR×IRIR\times: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{IR}


Details

Returns the interval quotient x/yx / y.

±0 ulps

÷:IR×IRIR\div: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{IR}


Details

Returns the reciprocal interval 1/x1/x.

±0 ulps

1/x:IRIR1/x: \mathbb{IR} \rightarrow \mathbb{IR}


Details

Returns the interval square x2x^2.

±0 ulps

x2:IRIR0x^2: \mathbb{IR} \rightarrow \mathbb{IR}_{\ge \mathbf{0}}


Details

Returns the interval square root x\sqrt{x}.

±0 ulps

x:IR0IR0\sqrt{x}: \mathbb{IR}_{\ge \mathbf{0}} \rightarrow \mathbb{IR}_{\ge \mathbf{0}}


Details

Returns the fused multiply-add xy+zx \cdot y + z.

±0 ulps

xy+z:IR×IR×IRIRx\cdot y + z: \mathbb{IR}\times\mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{IR}


Details

Returns the midpoint-inclusion generator for interval xx.

±0 ulps

mig:IRR\mathrm{mig}: \mathbb{IR} \rightarrow \mathbb{R}


Details

Returns the magnitude (maximum absolute value) of interval xx.

±0 ulps

mag:IRR\mathrm{mag}: \mathbb{IR} \rightarrow \mathbb{R}


Details

Returns the radius (half-width) of interval xx.

±0 ulps

rad:IRR\mathrm{rad}: \mathbb{IR} \rightarrow \mathbb{R}


Details

Returns the absolute value interval x|x|.

±0 ulps

x:IRIR0\left|x\right|: \mathbb{IR} \rightarrow \mathbb{IR}_{\ge \mathbf{0}}


Details

Returns the interval minimum of xx and yy.

±0 ulps

min:IR×IRIR\min: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{IR}


Details

Returns the interval maximum of xx and yy.

±0 ulps

max:IR×IRIR\max: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{IR}


Details

Returns the interval cube root x3\sqrt[3]{x}.

±1 ulps

x3:IRIR\sqrt[3]{x}: \mathbb{IR} \rightarrow \mathbb{IR}


Details

Returns the interval absolute value x|x|.

±0 ulps

x:IRIR0\left|x\right|: \mathbb{IR} \rightarrow \mathbb{IR}_{\ge \mathbf{0}}


Details

Returns the interval maximum of xx and yy.

±0 ulps

fmax:IR×IRIR\mathrm{fmax}: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{IR}


Details

Returns the interval minimum of xx and yy.

±0 ulps

fmin:IR×IRIR\mathrm{fmin}: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{IR}