Name:
ceil
the usual function ceil.
Library names:
sollya_obj_t sollya_lib_ceil(sollya_obj_t)
sollya_obj_t sollya_lib_build_function_ceil(sollya_obj_t)
#define SOLLYA_CEIL(x) sollya_lib_build_function_ceil(x)
Description:
- ceil is defined as usual: ceil(x) is the smallest integer y such that y >= x.
- It is defined for every real number x.
Go back to the list of commands