mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

The latest Docker container automatically initializes Kenzo.

Browse Source
This commit is contained in:
gheber 2016-03-05 12:29:42 -06:00
parent abf667e699
commit 7a71dad219
8 changed files with 130 additions and 362 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
examples/Chapter1.ipynb
View File

@ -1,41 +1,5 @@
{ {
"cells": [ "cells": [
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false,
"scrolled": false
},
"outputs": [],
"source": [
"(ql:quickload \"kenzo\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false,
"scrolled": false
},
"outputs": [],
"source": [
"(use-package \"CAT\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false,
"scrolled": false
},
"outputs": [],
"source": [
"(cat-init)"
]
},
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {},

213
examples/Chapter2.ipynb
View File

@ -1,38 +1,5 @@
{ {
"cells": [ "cells": [
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(ql:quickload \"kenzo\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(use-package \"CAT\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(cat-init)"
]
},
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {},
@ -219,7 +186,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -260,7 +228,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -283,7 +252,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -299,7 +269,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -333,7 +304,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -358,7 +330,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -369,7 +342,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -380,7 +354,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -391,7 +366,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -402,7 +378,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -413,7 +390,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -424,7 +402,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -443,7 +422,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -454,7 +434,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -465,7 +446,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -476,7 +458,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -487,7 +470,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -723,7 +707,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -734,7 +719,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -745,7 +731,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -777,7 +764,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -789,7 +777,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -833,7 +822,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -844,7 +834,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -855,7 +846,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -866,7 +858,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -877,7 +870,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -888,7 +882,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -899,7 +894,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -910,7 +906,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -961,7 +958,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -972,7 +970,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1003,7 +1002,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1014,7 +1014,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1025,7 +1026,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1036,7 +1038,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1047,7 +1050,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1058,7 +1062,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1077,7 +1082,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1088,7 +1094,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1099,7 +1106,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1110,7 +1118,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1128,7 +1137,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1139,7 +1149,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1189,7 +1200,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1200,7 +1212,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1224,7 +1237,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1235,7 +1249,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1253,7 +1268,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1264,7 +1280,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1275,7 +1292,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1286,7 +1304,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1297,7 +1316,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1308,7 +1328,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1326,7 +1347,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1337,7 +1359,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1350,7 +1373,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1361,7 +1385,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1372,7 +1397,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [
@ -1383,7 +1409,8 @@
"cell_type": "code", "cell_type": "code",
"execution_count": null, "execution_count": null,
"metadata": { "metadata": {
"collapsed": false "collapsed": false,
"scrolled": false
}, },
"outputs": [], "outputs": [],
"source": [ "source": [

33
examples/Chapter3.ipynb
View File

@ -1,38 +1,5 @@
{ {
"cells": [ "cells": [
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(ql:quickload \"kenzo\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(use-package \"CAT\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(cat-init)"
]
},
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {},

33
examples/Chapter4.ipynb
View File

@ -1,38 +1,5 @@
{ {
"cells": [ "cells": [
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(ql:quickload \"kenzo\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(use-package \"CAT\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(cat-init)"
]
},
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {},

33
examples/Chapter5.ipynb
View File

@ -1,38 +1,5 @@
{ {
"cells": [ "cells": [
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(ql:quickload \"kenzo\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(use-package \"CAT\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(cat-init)"
]
},
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {},

33
examples/Chapter6.ipynb
View File

@ -1,38 +1,5 @@
{ {
"cells": [ "cells": [
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(ql:quickload \"kenzo\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(use-package \"CAT\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(cat-init)"
]
},
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {},

43
examples/Chapter7.ipynb
View File

@ -1,38 +1,5 @@
{ {
"cells": [ "cells": [
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(ql:quickload \"kenzo\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(use-package \"CAT\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(cat-init)"
]
},
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {},
@ -394,8 +361,12 @@
] ]
}, },
{ {
"cell_type": "markdown", "cell_type": "code",
"metadata": {}, "execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [ "source": [
"(def face-delta-n\n", "(def face-delta-n\n",
" #'(lambda (i dmn gsm)\n", " #'(lambda (i dmn gsm)\n",
@ -1498,7 +1469,7 @@
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {},
"source": [ "source": [
"### Spheres, Moore spaces and projectives spaces\n", "### Spheres, Moore spaces and projective spaces\n",
"\n", "\n",
"``sphere`` *n* *[Function]*\n", "``sphere`` *n* *[Function]*\n",
"> Create a simplicial set, a model for the sphere of dimension $n$, ($n \\geq 0$). This is a typical example where the differential is known a priori to be null, so the ``:intr-bndr`` keyword parameter is set to function ``zero-pure-dffr``. This function generates a name ``S``*n* for the **unique** simplex of dimension $n$ whose faces are the degeneracies of the base point labelled \"``*``\".\n", "> Create a simplicial set, a model for the sphere of dimension $n$, ($n \\geq 0$). This is a typical example where the differential is known a priori to be null, so the ``:intr-bndr`` keyword parameter is set to function ``zero-pure-dffr``. This function generates a name ``S``*n* for the **unique** simplex of dimension $n$ whose faces are the degeneracies of the base point labelled \"``*``\".\n",

64
examples/Overview.ipynb
View File

@ -15,69 +15,7 @@
"\n", "\n",
"The material is arranged in a sequence of cells. Cells marked with ``In [*]`` represent (editable) input expressions, which in a traditional REPL (Read-Evaluate-Print Loop) would be typed by the user in a Lisp session. Only the ``In [*]`` mark is visible if the Lisp statement is not yet run; if run, another ``Out [*]`` mark is displayed with the corresponding object returned by the execution. Finally, there might be additional, non-editable, diagnostic output printed before the output component, most often a side-effect of the input form evaluation.\n", "The material is arranged in a sequence of cells. Cells marked with ``In [*]`` represent (editable) input expressions, which in a traditional REPL (Read-Evaluate-Print Loop) would be typed by the user in a Lisp session. Only the ``In [*]`` mark is visible if the Lisp statement is not yet run; if run, another ``Out [*]`` mark is displayed with the corresponding object returned by the execution. Finally, there might be additional, non-editable, diagnostic output printed before the output component, most often a side-effect of the input form evaluation.\n",
"\n", "\n",
"Other cells are the ``text`` cells, giving various explanations about the Lisp statements and their evaluations. Not editable by the user.\n", "Other cells are the ``text`` cells, giving various explanations about the Lisp statements and their evaluations. Not editable by the user."
"\n",
"## Getting off the Ground\n",
"\n",
"Load the ``Kenzo`` software by evaluating the following expression. When loaded successfully, the value of this form is a single string atom list ``\"kenzo\"``."
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(ql:quickload \"kenzo\")"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"The main functionality of the ``Kenzo`` software is defined in a Lisp package called ``cat``. Initialize the software by calling the ``cat-init`` function of the ``cat`` package. Upon successful initialization this form evaluates to ``NIL``."
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(use-package \"CAT\")"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(cat-init)"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"You can print the ``Kenzo`` version by calling the ``kenzo-version`` function:"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"(kenzo-version)"
] ]
}, },
{ {