240
edits
(Reverse arithmetic operations explained) |
|||
Line 178: | Line 178: | ||
=== Numerical operations === | === Numerical operations === | ||
Some operations on intervals do not return an interval enclosure, but a single number. Most important are <code>inf</code> and <code>sup</code>, which return the interval boundaries in double precision. | |||
More such operations are <code>mid</code> (approximation of the interval's midpoint), <code>wid</code> (approximation of the interval's width), <code>rad</code> (approximation of the interval's radius), <code>mag</code> and <code>mig</code>. | |||
=== Boolean operations === | === Boolean operations === |
edits