Name:
floor
the usual function floor.
Library names:
sollya_obj_t sollya_lib_floor(sollya_obj_t)
sollya_obj_t sollya_lib_build_function_floor(sollya_obj_t)
#define SOLLYA_FLOOR(x) sollya_lib_build_function_floor(x)
Description:
- floor is defined as usual: floor(x) is the greatest integer y such that y <= x.
- It is defined for every real number x.
Go back to the list of commands