next up previous contents index
Next: interlacing Up: Generator Previous: Generator   Contents   Index


concat


Usage

concat [$g_1,\dots,g_n$]


Signature

concat: List % $\to$ %


Parameter Type Description
$g_i$ % generators


Description

Given that each $g_i$ generates $t_{i1},t_{i2},\dots$, returns a generator that generates

\begin{displaymath}t_{11},t_{12},\dots,t_{21},t_{22},\dots,t_{n1},t_{n2},\dots\end{displaymath}

and that stops after $g_n$ stops.



Manuel Bronstein 2004-06-28