3.5.5. Partitioned Unfolds¶
Partitioned unfold |
Operators |
Output sequence length |
|---|---|---|
\(c = \punfold{p}{\textit{gen}}{\textit{label}}\ d\) |
\(p: D \rightarrow \mbox{Boolean}\) |
\(|c| \ge |d|\) |
\(\textit{gen}: D \rightarrow D \times C\) |
||
\(\textit{label}: \one \rightarrow L\) |
Unfolds are the opposite of folds, where the output sequence is larger than the input sequence [DUNE 33]. An unfold can be used for parallelizing the processing of a data product in smaller chunks.
