Documentation

Constructs an interval from midpoint and radius.

Constructs an interval from end points (which can be given in any order).

Returns left end point of argument.

Returns radius of argument.

Returns midpoint of argument.

Returns right end point of argument.

Convex hull of a list of intervals.

Tests whether first arg is contained in second, using total tests of given precision.

Intersection of intervals; empty intersection gives Nothing

Total, approximate equality test. If x =?= y atDecimals d returns False, then x and y are definitely not equal. If it returns True, then the absolute value of their difference is less than 10^(-d) (but they may be non-equal).

Total, approximate inequality test. If x <! y atDecimals d returns True, then x is definitely smaller than y, If it returns False, x may still be smaller than y, but their difference is then at most 10^(-d).

x >! y is the same as y <! x.

Prints an IReal with given number of decimals. Rounding error is up to one unit in the last position.

Prints an IReal in scientific notation with given number of digits. Rounding error is up to one unit in the last position.

Forces evaluation of second argument to given number of decimals; returns second argument.