Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`InductiveProofs`
CompressToRunLength  |
|
| | ||||
▪
▪
Run-length terms and are the compact form the inductive proofs and multiway renderers reason over.
ones[*n*]
zeros[*n*]
▪
A single cell is left uncompressed; only runs of length two or more become run-length terms.
Examples
(1)
Basic Examples
(1)
Collapse the two adjacent cells into a single run:
s1
ones[2]
In[1]:=
 | CompressToRunLength |
Out[1]=
seq[seq[end,ones[2]],s0]
 |
|
 |
|
""