\subsection{sqrt}
\label{labsqrt}
\noindent Name: \textbf{sqrt}\\
\phantom{aaa}square root.\\[0.2cm]
\noindent Library names:\\
\verb|   sollya_obj_t sollya_lib_sqrt(sollya_obj_t)|\\
\verb|   sollya_obj_t sollya_lib_build_function_sqrt(sollya_obj_t)|\\
\verb|   #define SOLLYA_SQRT(x) sollya_lib_build_function_sqrt(x)|\\[0.2cm]
\noindent Description: \begin{itemize}

\item \textbf{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$.

\item It is defined only for $x$ in $[0;+\infty]$.
\end{itemize}
