[ Arithmetic | Reference Manual | Alphabetic Index ]

breal_max(+Number, -Result)

Extracts the upper floating point bound of Number
Number
A number.
Result
Output: float.

Description

This predicate is used by the ECLiPSe compiler to expand evaluable arithmetic expressions. So a call to breal_max(Number, Result) is equivalent to
```    Result is breal_max(Number).
```
A bounded real is a real number represented by a lower and upper bound in floating point format. This predicate extracts the upper bound and unifies it with Result. If Number is not a bounded real, the result returned is equivalent to converting it to a bounded real first.

Modes and Determinism

• breal_max(+, -) is det

Exceptions

(4) instantiation fault
Number is not instantiated
(24) number expected
Number is a not a number.

Examples

```    Result is breal_max(0.99__1.01).	% gives Result = 1.01

% with implicit type conversion to breal:
Result is breal_max(1.0).		% gives Result = 1.0
Result is breal_max(1).		% gives Result = 1.0
Result is breal_max(1_10).		% gives Result = 0.10000000000000002
```