[ Arithmetic | Reference Manual | Alphabetic Index ]
breal_min(+Number, -Result)
Extracts the lower floating point bound of Number
- Number
- A number.
- Result
- A variable or float.
Description
    This predicate is used by the ECLiPSe compiler to expand evaluable
    arithmetic expressions.  So a call to breal_min(Number, Result) is
    equivalent to
    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
    first.
Modes and Determinism
Exceptions
- (4) instantiation fault 
- Number is not instantiated
- (24) number expected 
- Number is a not a number.
Examples
Success:
      ?- breal_min(0.99__1.01, X).
      X = 0.99
      ?- breal_min(1, X).
      X = 1.0
      ?- breal_min(1.0, X).
      X = 1.0
      ?- breal_min(1_10, X).
      X = 0.099999999999999992
Error:
      ?- breal_min("a", Z).
      number expected in breal_min("a", Z)
      ?- breal_min(2 + 4, Z).
      number expected in breal_min(2 + 4, Z)
See Also
breal_max / 2, breal / 1, breal / 2, breal_bounds / 3, breal_from_bounds / 3, is / 2