1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
\subsection{mid}
\label{labmid}
\noindent Name: \textbf{mid}\\
\phantom{aaa}gives the middle of an interval.\\[0.2cm]
\noindent Library name:\\
\verb| sollya_obj_t sollya_lib_mid(sollya_obj_t)|\\[0.2cm]
\noindent Usage:
\begin{center}
\textbf{mid}(\emph{I}) : \textsf{range} $\rightarrow$ \textsf{constant}\\
\textbf{mid}(\emph{x}) : \textsf{constant} $\rightarrow$ \textsf{constant}\\
\end{center}
Parameters:
\begin{itemize}
\item \emph{I} is an interval.
\item \emph{x} is a real number.
\end{itemize}
\noindent Description: \begin{itemize}
\item Returns the middle of the interval \emph{I}. If the middle is not exactly
representable at the current precision, the value is returned as an
unevaluated expression.
\item When called on a real number \emph{x}, \textbf{mid} behaves like the identity.
\end{itemize}
\noindent Example 1:
\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> mid([1;3]);
2
> mid(17);
17
\end{Verbatim}
\end{minipage}\end{center}
See also: \textbf{inf} (\ref{labinf}), \textbf{sup} (\ref{labsup})
|
