WARNING

You are currently looking at the documentation of an outdated version of Sollya. To see the current version of the documentation, go here.

Name:

sqrt square root.

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