Names:

halfprecision, HP rounding to the nearest IEEE 754 half-precision number (binary16).

Library names:

sollya_obj_t sollya_lib_halfprecision(sollya_obj_t) sollya_obj_t sollya_lib_halfprecision_obj() int sollya_lib_is_halfprecision_obj(sollya_obj_t) sollya_obj_t sollya_lib_build_function_halfprecision(sollya_obj_t) #define SOLLYA_HP(x) sollya_lib_build_function_halfprecision(x)

Description:

Example 1:

   > display=binary!;
   > HP(0.1);
   1.100110011_2 * 2^(-4)
   > HP(4.17);
   1.00001011_2 * 2^(2)
   > HP(1.011_2 * 2^(-23));
   1.1_2 * 2^(-23)
See also: single, double, doubleextended, doubledouble, quad, tripledouble, roundcoefficients, fpminimax, implementpoly, round, printsingle
Go back to the list of commands