next up previous contents index
Next: random Up: Sequence Previous: size   Contents   Index


bound,finite?


\begin{usage}
bound~s\\ finite?~s
\end{usage}

\begin{signatures}
bound: & \% $\to$\ \htmlref{\texttt{MachineInteger}}{Machin...
...
finite?: & \% $\to$\ \htmlref{\texttt{Boolean}}{Boolean}\\\end{signatures}

\begin{params}
{\em s} & \% & a sequence\\
\end{params}

\begin{retval}
finite?(s) returns {\it true}\xspace if s is known
to have finit...
...have finite support and $s.m = 0$\ for $m \ge n$, $-1$\ otherwise.
\end{retval}


Manuel Bronstein 2000-12-13