Name:
RU
constant representing rounding-upwards mode.
Library names:
sollya_obj_t sollya_lib_round_up()
int sollya_lib_is_round_up(sollya_obj_t)
Description:
RU
is used in command
round
to specify that the value x must be rounded to the smallest floating-point number y such that x <= y.
Example 1:
> display=binary!;
> round(Pi,20,RU);
1.100100100001111111_2 * 2^(1)
See also:
RZ
,
RD
,
RN
,
round
,
ceil