Name:
nearestint
the function mapping the reals to the integers nearest to them.
Library names:
sollya_obj_t sollya_lib_nearestint(sollya_obj_t)
sollya_obj_t sollya_lib_build_function_nearestint(sollya_obj_t)
#define SOLLYA_NEARESTINT(x) sollya_lib_build_function_nearestint(x)
Description:
- nearestint is defined as usual: nearestint(x) is the integer nearest to x, with the
special rule that the even integer is chosen if there exist two integers equally near to x.
- It is defined for every real number x.
Go back to the list of commands