\subsection{$<=$}
\label{lable}
\noindent Name: \textbf{$<=$}\\
\phantom{aaa}less-than-or-equal-to operator\\[0.2cm]
\noindent Library name:\\
\verb|   sollya_obj_t sollya_lib_cmp_less_equal(sollya_obj_t, sollya_obj_t)|\\[0.2cm]
\noindent Usage: 
\begin{center}
\emph{expr1} \textbf{$<=$} \emph{expr2} : (\textsf{constant}, \textsf{constant}) $\rightarrow$ \textsf{boolean}\\
\end{center}
Parameters: 
\begin{itemize}
\item \emph{expr1} and \emph{expr2} represent constant expressions
\end{itemize}
\noindent Description: \begin{itemize}

\item The operator \textbf{$<=$} evaluates to true iff its operands \emph{expr1} and
   \emph{expr2} evaluate to two floating-point numbers $a_1$
   respectively $a_2$ with the global precision \textbf{prec} and
   $a_1$ is less than or equal to $a_2$. The user should
   be aware of the fact that because of floating-point evaluation, the
   operator \textbf{$<=$} is not exactly the same as the mathematical
   operation \emph{less-than-or-equal-to}.
\end{itemize}
\noindent Example 1: 
\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> 5 <= 4;
false
> 5 <= 5;
true
> 5 <= 6;
true
> exp(2) <= exp(1);
false
> log(1) <= exp(2);
true
\end{Verbatim}
\end{minipage}\end{center}
\noindent Example 2: 
\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> prec = 12;
The precision has been set to 12 bits.
> 16385.1 <= 16384.1;
true
\end{Verbatim}
\end{minipage}\end{center}
See also: \textbf{$==$} (\ref{labequal}), \textbf{!$=$} (\ref{labneq}), \textbf{$>=$} (\ref{labge}), \textbf{$>$} (\ref{labgt}), \textbf{$<$} (\ref{lablt}), \textbf{in} (\ref{labin}), \textbf{!} (\ref{labnot}), \textbf{$\&\&$} (\ref{laband}), \textbf{$||$} (\ref{labor}), \textbf{prec} (\ref{labprec}), \textbf{max} (\ref{labmax}), \textbf{min} (\ref{labmin})
