Library names:
sollya_obj_t sollya_lib_sqrt(sollya_obj_t)
sollya_obj_t sollya_lib_build_function_sqrt(sollya_obj_t)
#define SOLLYA_SQRT(x) sollya_lib_build_function_sqrt(x)
Description:
- sqrt is the square root, e.g. the inverse of the function square: sqrt(y)
is the unique positive x such that x^2=y.
- It is defined only for x in [0; +Inf].
Go back to the list of commands