sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

More changes to the zipper notebook.

This commit is contained in:
Simon Forman 2021-11-25 11:10:21 -08:00
parent 600dc05030
commit 770cd783fa
1 changed files with 139 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

168
docs/Zipper.ipynb
View File

@ -212,9 +212,17 @@
}, },
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": 10,
"metadata": {}, "metadata": {},
"outputs": [], "outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"[1] [8] [2] [7] [4 3] [6] 625"
]
}
],
"source": [ "source": [
"sqr" "sqr"
] ]
@ -228,39 +236,50 @@
"name": "stdout", "name": "stdout",
"output_type": "stream", "output_type": "stream",
"text": [ "text": [
"!= % & * + ++ - -- / // /floor < << <= <> = > >= >> ^ _Tree_add_Ee _Tree_delete_R0 _Tree_delete_clear_stuff _Tree_get_E abs add and app1 app2 app3 at b bool branch ccons choice clear cmp concat cond cons dip dipd dipdd disenstacken div divmod drop dup dupd dupdd dupdip eq first first_two floor floordiv fourth gcd2 ge genrec getitem gt help i id infra inscribe le loop lshift lt map max min mod modulus mul ne neg not or over parse pick pm pop popd popdd popop popopd popopdd pow pred primrec rem remainder remove rest reverse roll< roll> rolldown rollup round rrest rshift second select sharing shunt sort sqrt stack step stuncons stununcons sub succ sum swaack swap swons take third times trace truthy tuck uncons unique unit unswons void warranty words x xor z-down z-left z-right z-up zip •\n", "[1] [8] [2] [7] [4 3] [6] 625 • z-up\n",
"[1] [8] [2] [7] [4 3] [6] 625 • swons swap shunt\n",
"[1] [8] [2] [7] [4 3] [625 6] • swap shunt\n",
"[1] [8] [2] [7] [625 6] [4 3] • shunt\n",
" [1] [8] [2] [7] [3 4 625 6] • \n",
"\n", "\n",
"[1] [8] [2] [7] [4 3] [6] 25" "[1] [8] [2] [7] [3 4 625 6]"
] ]
} }
], ],
"source": [
"words"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {},
"outputs": [],
"source": [ "source": [
"[z-up] trace" "[z-up] trace"
] ]
}, },
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": 12,
"metadata": {}, "metadata": {},
"outputs": [], "outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"[1] [8] [2 [3 4 625 6] 7]"
]
}
],
"source": [ "source": [
"z-up" "z-up"
] ]
}, },
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": 13,
"metadata": {}, "metadata": {},
"outputs": [], "outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"[1 [2 [3 4 625 6] 7] 8]"
]
}
],
"source": [ "source": [
"z-up" "z-up"
] ]
@ -275,9 +294,43 @@
}, },
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": 14,
"metadata": {}, "metadata": {},
"outputs": [], "outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"[1 [2 [3 4 625 6] 7] 8] [[[[[[sqr] dipd] infra] dip] infra] dip] • infra\n",
" 8 [2 [3 4 625 6] 7] 1 • [[[[[sqr] dipd] infra] dip] infra] dip [] swaack\n",
" 8 [2 [3 4 625 6] 7] 1 [[[[[sqr] dipd] infra] dip] infra] • dip [] swaack\n",
" 8 [2 [3 4 625 6] 7] • [[[[sqr] dipd] infra] dip] infra 1 [] swaack\n",
" 8 [2 [3 4 625 6] 7] [[[[sqr] dipd] infra] dip] • infra 1 [] swaack\n",
" 7 [3 4 625 6] 2 • [[[sqr] dipd] infra] dip [8] swaack 1 [] swaack\n",
" 7 [3 4 625 6] 2 [[[sqr] dipd] infra] • dip [8] swaack 1 [] swaack\n",
" 7 [3 4 625 6] • [[sqr] dipd] infra 2 [8] swaack 1 [] swaack\n",
" 7 [3 4 625 6] [[sqr] dipd] • infra 2 [8] swaack 1 [] swaack\n",
" 6 625 4 3 • [sqr] dipd [7] swaack 2 [8] swaack 1 [] swaack\n",
" 6 625 4 3 [sqr] • dipd [7] swaack 2 [8] swaack 1 [] swaack\n",
" 6 625 • sqr 4 3 [7] swaack 2 [8] swaack 1 [] swaack\n",
" 6 625 • dup * 4 3 [7] swaack 2 [8] swaack 1 [] swaack\n",
" 6 625 625 • * 4 3 [7] swaack 2 [8] swaack 1 [] swaack\n",
" 6 390625 • 4 3 [7] swaack 2 [8] swaack 1 [] swaack\n",
" 6 390625 4 • 3 [7] swaack 2 [8] swaack 1 [] swaack\n",
" 6 390625 4 3 • [7] swaack 2 [8] swaack 1 [] swaack\n",
" 6 390625 4 3 [7] • swaack 2 [8] swaack 1 [] swaack\n",
" 7 [3 4 390625 6] • 2 [8] swaack 1 [] swaack\n",
" 7 [3 4 390625 6] 2 • [8] swaack 1 [] swaack\n",
" 7 [3 4 390625 6] 2 [8] • swaack 1 [] swaack\n",
" 8 [2 [3 4 390625 6] 7] • 1 [] swaack\n",
" 8 [2 [3 4 390625 6] 7] 1 • [] swaack\n",
" 8 [2 [3 4 390625 6] 7] 1 [] • swaack\n",
" [1 [2 [3 4 390625 6] 7] 8] • \n",
"\n",
"[1 [2 [3 4 390625 6] 7] 8]"
]
}
],
"source": [ "source": [
"[[[[[[sqr] dipd] infra] dip] infra] dip] [infra] trace" "[[[[[[sqr] dipd] infra] dip] infra] dip] [infra] trace"
] ]
@ -300,18 +353,30 @@
}, },
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": 15,
"metadata": {}, "metadata": {},
"outputs": [], "outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": []
}
],
"source": [ "source": [
"clear" "clear"
] ]
}, },
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": 16,
"metadata": {}, "metadata": {},
"outputs": [], "outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": []
}
],
"source": [ "source": [
"[Z [[] ccons] step i] inscribe" "[Z [[] ccons] step i] inscribe"
] ]
@ -325,18 +390,55 @@
}, },
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": 17,
"metadata": {}, "metadata": {},
"outputs": [], "outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
" 1 [2 3 4] • Z\n",
" 1 [2 3 4] • [[] ccons] step i\n",
" 1 [2 3 4] [[] ccons] • step i\n",
" 1 2 [[] ccons] • i [3 4] [[] ccons] step i\n",
" 1 2 • [] ccons [3 4] [[] ccons] step i\n",
" 1 2 [] • ccons [3 4] [[] ccons] step i\n",
" [1 2] • [3 4] [[] ccons] step i\n",
" [1 2] [3 4] • [[] ccons] step i\n",
" [1 2] [3 4] [[] ccons] • step i\n",
" [1 2] 3 [[] ccons] • i [4] [[] ccons] step i\n",
" [1 2] 3 • [] ccons [4] [[] ccons] step i\n",
" [1 2] 3 [] • ccons [4] [[] ccons] step i\n",
" [[1 2] 3] • [4] [[] ccons] step i\n",
" [[1 2] 3] [4] • [[] ccons] step i\n",
"[[1 2] 3] [4] [[] ccons] • step i\n",
" [[1 2] 3] 4 [[] ccons] • i i\n",
" [[1 2] 3] 4 • [] ccons i\n",
" [[1 2] 3] 4 [] • ccons i\n",
" [[[1 2] 3] 4] • i\n",
" • [[1 2] 3] 4\n",
" [[1 2] 3] • 4\n",
" [[1 2] 3] 4 • \n",
"\n",
"[[1 2] 3] 4"
]
}
],
"source": [ "source": [
"1 [2 3 4] [Z] trace" "1 [2 3 4] [Z] trace"
] ]
}, },
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": 18,
"metadata": {}, "metadata": {},
"outputs": [], "outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": []
}
],
"source": [ "source": [
"clear" "clear"
] ]
@ -350,9 +452,17 @@
}, },
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": 19,
"metadata": {}, "metadata": {},
"outputs": [], "outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"[1 [2 [3 4 625 6] 7] 8]"
]
}
],
"source": [ "source": [
"[1 [2 [3 4 25 6] 7] 8] [sqr] [dip dip infra dip infra dip infra] Z" "[1 [2 [3 4 25 6] 7] 8] [sqr] [dip dip infra dip infra dip infra] Z"
] ]