Name:
RD
constant representing rounding-downwards mode.
Library names:
sollya_obj_t sollya_lib_round_down()
int sollya_lib_is_round_down(sollya_obj_t)
Description:
RD
is used in command
round
to specify that the value x must be rounded to the greatest floating-point number y such that y <= x.
Example 1:
> display=binary!;
> round(Pi,20,RD);
1.1001001000011111101_2 * 2^(1)
See also:
RZ
,
RU
,
RN
,
round
,
floor
Go back to the list of commands