Sollya User's Manual

Names:

quad, QD rounding to the nearest IEEE 754 quad (binary128).

Library names:

sollya_obj_t sollya_lib_quad(sollya_obj_t) sollya_obj_t sollya_lib_quad_obj() int sollya_lib_is_quad_obj(sollya_obj_t) sollya_obj_t sollya_lib_build_function_quad(sollya_obj_t) #define SOLLYA_QD(x) sollya_lib_build_function_quad(x)

Description:

quad is both a function and a constant.
As a function, it rounds its argument to the nearest IEEE 754 quad precision (i.e. IEEE754-2008 binary128) number. Subnormal numbers are supported as well as standard numbers: it is the real rounding described in the standard.
As a constant, it symbolizes the quad precision format. It is used in contexts when a precision format is necessary, e.g. in the commands round and roundcoefficients. It is not supported for implementpoly. See the corresponding help pages for examples.

Example 1:

   > display=binary!;
   > QD(0.1);
   1.100110011001100110011001100110011001100110011001100110011001100110011001100110011001100110011001100110011001101_2 * 2^(-4)
   > QD(4.17);
   1.000010101110000101000111101011100001010001111010111000010100011110101110000101000111101011100001010001111010111_2 * 2^(2)
   > QD(1.011_2 * 2^(-16493));
   1.1_2 * 2^(-16493)