From 7a71dad219afed82e286ea3c77a36176d7ef5e86 Mon Sep 17 00:00:00 2001 From: gheber Date: Sat, 5 Mar 2016 12:29:42 -0600 Subject: [PATCH] The latest Docker container automatically initializes Kenzo. --- examples/Chapter1.ipynb | 36 ------- examples/Chapter2.ipynb | 213 ++++++++++++++++++++++------------------ examples/Chapter3.ipynb | 33 ------- examples/Chapter4.ipynb | 33 ------- examples/Chapter5.ipynb | 33 ------- examples/Chapter6.ipynb | 33 ------- examples/Chapter7.ipynb | 47 ++------- examples/Overview.ipynb | 64 +----------- 8 files changed, 130 insertions(+), 362 deletions(-) diff --git a/examples/Chapter1.ipynb b/examples/Chapter1.ipynb index ca77ff2..1260903 100644 --- a/examples/Chapter1.ipynb +++ b/examples/Chapter1.ipynb @@ -1,41 +1,5 @@ { "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", "metadata": {}, diff --git a/examples/Chapter2.ipynb b/examples/Chapter2.ipynb index b2b9eab..022c10e 100644 --- a/examples/Chapter2.ipynb +++ b/examples/Chapter2.ipynb @@ -1,38 +1,5 @@ { "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", "metadata": {}, @@ -219,7 +186,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -260,7 +228,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -283,7 +252,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -299,7 +269,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -333,7 +304,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -358,7 +330,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -369,7 +342,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -380,7 +354,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -391,7 +366,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -402,7 +378,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -413,7 +390,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -424,7 +402,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -443,7 +422,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -454,7 +434,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -465,7 +446,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -476,7 +458,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -487,7 +470,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -723,7 +707,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -734,7 +719,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -745,7 +731,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -777,7 +764,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -789,7 +777,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -833,7 +822,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -844,7 +834,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -855,7 +846,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -866,7 +858,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -877,7 +870,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -888,7 +882,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -899,7 +894,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -910,7 +906,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -961,7 +958,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -972,7 +970,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1003,7 +1002,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1014,7 +1014,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1025,7 +1026,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1036,7 +1038,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1047,7 +1050,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1058,7 +1062,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1077,7 +1082,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1088,7 +1094,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1099,7 +1106,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1110,7 +1118,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1128,7 +1137,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1139,7 +1149,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1189,7 +1200,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1200,7 +1212,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1224,7 +1237,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1235,7 +1249,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1253,7 +1268,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1264,7 +1280,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1275,7 +1292,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1286,7 +1304,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1297,7 +1316,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1308,7 +1328,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1326,7 +1347,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1337,7 +1359,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1350,7 +1373,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1361,7 +1385,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1372,7 +1397,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ @@ -1383,7 +1409,8 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": false + "collapsed": false, + "scrolled": false }, "outputs": [], "source": [ diff --git a/examples/Chapter3.ipynb b/examples/Chapter3.ipynb index 50fd8ff..6f66ae5 100644 --- a/examples/Chapter3.ipynb +++ b/examples/Chapter3.ipynb @@ -1,38 +1,5 @@ { "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", "metadata": {}, diff --git a/examples/Chapter4.ipynb b/examples/Chapter4.ipynb index 9272bf8..4522617 100644 --- a/examples/Chapter4.ipynb +++ b/examples/Chapter4.ipynb @@ -1,38 +1,5 @@ { "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", "metadata": {}, diff --git a/examples/Chapter5.ipynb b/examples/Chapter5.ipynb index 64dbf01..83499e3 100644 --- a/examples/Chapter5.ipynb +++ b/examples/Chapter5.ipynb @@ -1,38 +1,5 @@ { "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", "metadata": {}, diff --git a/examples/Chapter6.ipynb b/examples/Chapter6.ipynb index c95a7cd..f043b26 100644 --- a/examples/Chapter6.ipynb +++ b/examples/Chapter6.ipynb @@ -1,38 +1,5 @@ { "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", "metadata": {}, diff --git a/examples/Chapter7.ipynb b/examples/Chapter7.ipynb index cc33aab..a84a45f 100644 --- a/examples/Chapter7.ipynb +++ b/examples/Chapter7.ipynb @@ -1,38 +1,5 @@ { "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", "metadata": {}, @@ -394,12 +361,16 @@ ] }, { - "cell_type": "markdown", - "metadata": {}, + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], "source": [ "(def face-delta-n\n", - " #'(lambda(i dmn gsm)\n", - " (declare(ignore dmn))\n", + " #'(lambda (i dmn gsm)\n", + " (declare (ignore dmn))\n", " (absm 0 (append (subseq gsm 0 i)\n", " (subseq gsm (1+ i))) )))" ] @@ -1498,7 +1469,7 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "### Spheres, Moore spaces and projectives spaces\n", + "### Spheres, Moore spaces and projective spaces\n", "\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", diff --git a/examples/Overview.ipynb b/examples/Overview.ipynb index c487670..63215eb 100644 --- a/examples/Overview.ipynb +++ b/examples/Overview.ipynb @@ -15,69 +15,7 @@ "\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", - "Other cells are the ``text`` cells, giving various explanations about the Lisp statements and their evaluations. Not editable by the user.\n", - "\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)" + "Other cells are the ``text`` cells, giving various explanations about the Lisp statements and their evaluations. Not editable by the user." ] }, {