[ Arithmetic | Reference Manual | Alphabetic Index ]
Extracts the lower floating point bound of Number
- A number.
- Output: float.
This predicate is used by the ECLiPSe compiler to expand evaluable
arithmetic expressions. So a call to breal_min(Number, Result) is
Result is breal_min(Number).
A bounded real is a real number represented by a lower and upper
bound in floating point format. This predicate extracts the lower
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
Modes and Determinism
- (4) instantiation fault
- Number is not instantiated
- (24) number expected
- Number is a not a number.
Result is breal_min(0.99__1.01). % gives Result = 0.99
% with implicit type conversion to breal:
Result is breal_min(1.0). % gives Result = 1.0
Result is breal_min(1). % gives Result = 1.0
Result is breal_min(1_10). % gives Result = 0.099999999999999992
breal_max / 2, breal / 1, breal / 2, breal_bounds / 3, breal_from_bounds / 3, is / 2