diff --git a/examples/Chapter1.ipynb b/examples/Chapter1.ipynb new file mode 100644 index 0000000..066768a --- /dev/null +++ b/examples/Chapter1.ipynb @@ -0,0 +1,860 @@ +{ + "metadata": { + "language": "common-lisp", + "name": "", + "signature": "sha256:a754fbeaa1dab0ce169c2df3836c81485925a3dac487688816cd112a3bc45b33" + }, + "nbformat": 3, + "nbformat_minor": 0, + "worksheets": [ + { + "cells": [ + { + "cell_type": "heading", + "level": 1, + "metadata": {}, + "source": [ + "Chapter 1" + ] + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(ql:quickload \"kenzo\")" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 1, + "text": [ + "(\"kenzo\")" + ] + } + ], + "prompt_number": 1 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:cat-init)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "output_type": "stream", + "stream": "stdout", + "text": [ + "\n", + "---done---" + ] + }, + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 2, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 2 + }, + { + "cell_type": "heading", + "level": 3, + "metadata": {}, + "source": [ + "1.2.2 Ordering the generators" + ] + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(documentation 'cat:f-cmpr 'function)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 3, + "text": [ + "\"--------------------------------------------------------------[function-doc]\n", + "F-CMPR\n", + "Args: (n1 n2)\n", + "Returns :LESS, :EQUAL, or :GREATER, according to the result of the canonical\n", + "comparison of the integers N1 and N2.\n", + "------------------------------------------------------------------------------\"" + ] + } + ], + "prompt_number": 3 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:f-cmpr 123 789)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 3, + "text": [ + ":LESS" + ] + } + ], + "prompt_number": 3 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(documentation 'cat:s-cmpr 'function)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 7, + "text": [ + "\"--------------------------------------------------------------[function-doc]\n", + "S-CMPR\n", + "Args: (symbol1 symbol2)\n", + "Returns :LESS, :EQUAL, or :GREATER, according to the result of the Lisp string\n", + "comparison function of the strings (SYMBOL-NAME SYMBOL1) and\n", + "(SYMBOL-NAME SYMBOL2).\n", + "------------------------------------------------------------------------------\"" + ] + } + ], + "prompt_number": 7 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:s-cmpr 'circulation 'circular)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 4, + "text": [ + ":GREATER" + ] + } + ], + "prompt_number": 4 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(documentation 'cat:l-cmpr 'function)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 8, + "text": [ + "\"--------------------------------------------------------------[function-doc]\n", + "L-CMPR\n", + "Args: (list1 list2)\n", + "Returns :LESS, :EQUAL, or :GREATER, according to the lexicographical ordering\n", + "of the generator lists LIST1 and LIST2.\n", + "------------------------------------------------------------------------------\"" + ] + } + ], + "prompt_number": 8 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:l-cmpr '(1 a b) '(1 a))" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 5, + "text": [ + ":GREATER" + ] + } + ], + "prompt_number": 5 + }, + { + "cell_type": "heading", + "level": 3, + "metadata": {}, + "source": [ + "1.2.3 Functions handling combinations" + ] + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(documentation 'cat:cmbn 'function)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 9, + "text": [ + "\"--------------------------------------------------------------[function-doc]\n", + "CMBN\n", + "Args: (degr &rest rest)\n", + "Returns a combination of degree DEGR from a sum of terms provided as a sequence\n", + "CF1 GNRT1 CF2 GNRT2 ... CFn GNRTn of coefficient / generator pairs in REST.\n", + "REST can be of arbitrary even length and can be empty, in which case the\n", + "combination is an instance of the null combination of degree DEGR.\n", + "------------------------------------------------------------------------------\"" + ] + } + ], + "prompt_number": 9 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:def comb1 (cat:cmbn 1 1 'u 2 'v 3 'w 4 'z))" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 6, + "text": [ + "\n", + "----------------------------------------------------------------------{CMBN 1}\n", + "<1 * U>\n", + "<2 * V>\n", + "<3 * W>\n", + "<4 * Z>\n", + "------------------------------------------------------------------------------\n" + ] + } + ], + "prompt_number": 6 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(documentation 'cat:cmbn-non-zero-p 'function)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 8, + "text": [ + "\"-----------------------------------------------------------------[macro-doc]\n", + "CMBN-NON-ZERO-P\n", + "Args: (cmbn)\n", + "Tests if the combination CMBN is a non-null combination of any degree.\n", + "------------------------------------------------------------------------------\"" + ] + } + ], + "prompt_number": 8 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:cmbn-non-zero-p comb1)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 7, + "text": [ + "((1 . U) (2 . V) (3 . W) (4 . Z))" + ] + } + ], + "prompt_number": 7 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:cmbn-list comb1)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 10, + "text": [ + "((1 . U) (2 . V) (3 . W) (4 . Z))" + ] + } + ], + "prompt_number": 10 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:def term3 (third (cat:cmbn-list comb1)))" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 11, + "text": [ + "(3 . W)" + ] + } + ], + "prompt_number": 11 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:cffc term3)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 12, + "text": [ + "3" + ] + } + ], + "prompt_number": 12 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:gnrt term3)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 13, + "text": [ + "W" + ] + } + ], + "prompt_number": 13 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(documentation 'cat:cmbn-opps 'function)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 14, + "text": [ + "\"--------------------------------------------------------------[function-doc]\n", + "CMBN-OPPS\n", + "Args: (cmbn)\n", + "Returns the combination opposite combination of CMBN.\n", + "------------------------------------------------------------------------------\"" + ] + } + ], + "prompt_number": 14 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:def mcomb1 (cat:cmbn-opps comb1))" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 15, + "text": [ + "\n", + "----------------------------------------------------------------------{CMBN 1}\n", + "<-1 * U>\n", + "<-2 * V>\n", + "<-3 * W>\n", + "<-4 * Z>\n", + "------------------------------------------------------------------------------\n" + ] + } + ], + "prompt_number": 15 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(documentation 'cat:n-cmbn 'function)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 16, + "text": [ + "\"--------------------------------------------------------------[function-doc]\n", + "N-CMBN\n", + "Args: (n cmbn)\n", + "Returns N times the combination CMBN. N must be non-zero.\n", + "------------------------------------------------------------------------------\"" + ] + } + ], + "prompt_number": 16 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:def comb2 (cat:n-cmbn 10 comb1))" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 17, + "text": [ + "\n", + "----------------------------------------------------------------------{CMBN 1}\n", + "<10 * U>\n", + "<20 * V>\n", + "<30 * W>\n", + "<40 * Z>\n", + "------------------------------------------------------------------------------\n" + ] + } + ], + "prompt_number": 17 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(documentation 'cat:2cmbn-add 'function)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 18, + "text": [ + "\"--------------------------------------------------------------[function-doc]\n", + "2CMBN-ADD\n", + "Args: (cmpr cmbn1 cmbn2)\n", + "Returns the combination, which is the sum of CMBN1 and CMBN2. The first\n", + "argument, CMPR, must be a function or macro, which is used to compare the\n", + "generators of the combination arguments and to order the terms of the result\n", + "combination.\n", + "------------------------------------------------------------------------------\"" + ] + } + ], + "prompt_number": 18 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:def cmb12 (cat:2cmbn-add #'cat:s-cmpr comb1 comb2))" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 20, + "text": [ + "\n", + "----------------------------------------------------------------------{CMBN 1}\n", + "<11 * U>\n", + "<22 * V>\n", + "<33 * W>\n", + "<44 * Z>\n", + "------------------------------------------------------------------------------\n" + ] + } + ], + "prompt_number": 20 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(documentation 'cat:2cmbn-sbtr 'function)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 21, + "text": [ + "\"--------------------------------------------------------------[function-doc]\n", + "2CMBN-SBTR\n", + "Args: (cmpr cmbn1 cmbn2)\n", + "Returns the combination, which is the difference of CMBN1 and CMBN2. The first\n", + "argument, CMPR, must be a function or macro, which is used to compare the\n", + "generators of the combination arguments and to order the terms of the result\n", + "combination.\n", + "------------------------------------------------------------------------------\"" + ] + } + ], + "prompt_number": 21 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(documentation 'cat:ncmbn-add 'function)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 22, + "text": [ + "\"--------------------------------------------------------------[function-doc]\n", + "NCMBN-ADD\n", + "Args: (cmpr cmbn &rest rest)\n", + "Returns the sum of an arbitrary number of combinations. The first argument,\n", + "CMPR, must be a function or macro, which is used to compare the generators of\n", + "the input combinations and to order the terms of the result combination.\n", + "------------------------------------------------------------------------------\"" + ] + } + ], + "prompt_number": 22 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:ncmbn-add #'cat:s-cmpr\n", + " comb1 comb2 comb1 comb2 comb1 comb2 comb1 comb2 comb1 comb2)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 23, + "text": [ + "\n", + "----------------------------------------------------------------------{CMBN 1}\n", + "<55 * U>\n", + "<110 * V>\n", + "<165 * W>\n", + "<220 * Z>\n", + "------------------------------------------------------------------------------\n" + ] + } + ], + "prompt_number": 23 + }, + { + "cell_type": "heading", + "level": 3, + "metadata": {}, + "source": [ + "1.3.1 The function build-chcm" + ] + }, + { + "cell_type": "heading", + "level": 4, + "metadata": {}, + "source": [ + "A first example of a chain complex" + ] + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:def diabolo-cmpr #'cat:s-cmpr)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 24, + "text": [ + "#" + ] + } + ], + "prompt_number": 24 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:def diabolo-basis #'(lambda (dmn)\n", + " (case dmn\n", + " (0 '(s0 s1 s2 s3 s4 s5))\n", + " (1 '(s01 s02 s12 s23 s34 s35 s45))\n", + " (2 '(s345))\n", + " (otherwise nil))))" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 25, + "text": [ + "#" + ] + } + ], + "prompt_number": 25 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:def diabolo-bspn 's0)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 26, + "text": [ + "S0" + ] + } + ], + "prompt_number": 26 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:def diabolo-pure-dffr\n", + " #'(lambda (dmn gnr)\n", + " (unless (<= 0 dmn 2)\n", + " (error \"Incorrect dimension for diabolo-dp.\"))\n", + " (case dmn\n", + " (0 (cat:cmbn -1)) ; Note the null combination of degree -1\n", + " (1 (case gnr\n", + " (s01 (cat:cmbn 0 -1 's0 1 's1))\n", + " (s02 (cat:cmbn 0 -1 's0 1 's2))\n", + " (s12 (cat:cmbn 0 -1 's1 1 's2))\n", + " (s23 (cat:cmbn 0 -1 's2 1 's3))\n", + " (s34 (cat:cmbn 0 -1 's3 1 's4))\n", + " (s35 (cat:cmbn 0 -1 's3 1 's5))\n", + " (s45 (cat:cmbn 0 -1 's4 1 's5))))\n", + " (2 (case gnr\n", + " (s345 (cat:cmbn 1 1 's34 -1 's35 1 's45))))\n", + " (otherwise (error \"Bad generator for complex diabolo\")))))" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 28, + "text": [ + "#" + ] + } + ], + "prompt_number": 28 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:def diabolo-strt :GNRT)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 29, + "text": [ + ":GNRT" + ] + } + ], + "prompt_number": 29 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:def diabolo-orgn '(diabolo-for-example))" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 30, + "text": [ + "(DIABOLO-FOR-EXAMPLE)" + ] + } + ], + "prompt_number": 30 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(documentation 'cat:build-chcm 'function)" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 31, + "text": [ + "\"--------------------------------------------------------------[function-doc]\n", + "BUILD-CHCM\n", + "Args: (&key cmpr basis bsgn intr-dffr strt orgn)\n", + "Returns an instance of the class CHAIN-COMPLEX. The keyword arguments are as\n", + "follows:\n", + "\n", + ":CMPR CMPR, the comparison function for generators\n", + "\n", + ":BASIS BASIS, the function defining the basis of the freee Z-modules C_p or the\n", + " the keyword :LOCALLY-EFFECTIVE\n", + "\n", + ":BSGN BSGN, a generator, the base point of the underlying set\n", + "\n", + ":INTR-DFFR INTR-DFFR, a Lisp function defining the differential homomorphism\n", + " for each p (d_p: C_p -> C_{p-1}\n", + "\n", + ":STRT STRT, one of the keywords :GNRT or :CMBN, defining the mapping strategy\n", + " of the differential homomorphism, either by generator or by\n", + " combination. The default is :GNRT\n", + "\n", + ":ORGN ORGN, a list containing a relevant and carefully chosen comment about\n", + " the origin of the chain complex. This comment should be unique\n", + " for a Kenzo session (between calls of CAT-INIT), as it is used\n", + " for caching purposes.\n", + "\n", + "Use this function instead of creating instances via the standard constructor\n", + "MAKE-INSTANCE.\n", + "------------------------------------------------------------------------------\"" + ] + } + ], + "prompt_number": 31 + }, + { + "cell_type": "code", + "collapsed": false, + "input": [ + "(cat:def diabolo (cat:build-chcm :cmpr diabolo-cmpr :basis diabolo-basis\n", + " :bsgn diabolo-bspn :intr-dffr diabolo-pure-dffr\n", + " :strt diabolo-strt :orgn diabolo-orgn))" + ], + "language": "python", + "metadata": {}, + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 32, + "text": [ + "[K1 Chain-Complex]" + ] + } + ], + "prompt_number": 32 + } + ], + "metadata": {} + } + ] +} \ No newline at end of file diff --git a/examples/Overview.ipynb b/examples/Overview.ipynb index a1feae8..db83d64 100644 --- a/examples/Overview.ipynb +++ b/examples/Overview.ipynb @@ -2,7 +2,7 @@ "metadata": { "language": "common-lisp", "name": "", - "signature": "sha256:8c6a25cd46fe82c8c18af5548c04dc2cf9e8196f38ccfff102a5d727ad0610ab" + "signature": "sha256:05fd4b76f25f4c221cceaf16125a2f13aee03b4b6f7820c59ad9af3b5471bb4f" }, "nbformat": 3, "nbformat_minor": 0, @@ -34,7 +34,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 1, + "text": [ + "(\"kenzo\")" + ] + } + ], + "prompt_number": 1 }, { "cell_type": "markdown", @@ -51,7 +61,25 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "output_type": "stream", + "stream": "stdout", + "text": [ + "\n", + "---done---" + ] + }, + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 2, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 2 }, { "cell_type": "markdown", @@ -68,7 +96,26 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "output_type": "stream", + "stream": "stdout", + "text": [ + "\n", + "*** Kenzo-Version 1.1.7 ***\n", + "\n" + ] + }, + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 3, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 3 }, { "cell_type": "markdown", @@ -85,7 +132,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 4, + "text": [ + "[K1 Simplicial-Set]" + ] + } + ], + "prompt_number": 4 }, { "cell_type": "markdown", @@ -102,7 +159,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 5, + "text": [ + "[K1 Simplicial-Set]" + ] + } + ], + "prompt_number": 5 }, { "cell_type": "markdown", @@ -119,7 +186,152 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "output_type": "stream", + "stream": "stdout", + "text": [ + "\n", + "Computing boundary-matrix in dimension 0.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 32s.\n", + "Computing the boundary of the generator 1/1 (dimension 0) :\n", + "* \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 1.\n", + "Rank of the source-module : 0.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 0 :\n", + "\n", + "\n", + "Component Z\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 32s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 1.\n", + "Rank of the source-module : 0.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 2.\n", + "Rank of the source-module : 0.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 1 :\n", + "\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 32s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 2.\n", + "Rank of the source-module : 0.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 3.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 32s.\n", + "Computing the boundary of the generator 1/1 (dimension 3) :\n", + "M3 \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 2 :\n", + "\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 32s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 3.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 32s.\n", + "Computing the boundary of the generator 1/1 (dimension 3) :\n", + "M3 \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 4.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 32s.\n", + "Computing the boundary of the generator 1/1 (dimension 4) :\n", + "N4 \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 3 :\n", + "\n", + "\n", + "Component Z/2Z\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 32s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 4.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 32s.\n", + "Computing the boundary of the generator 1/1 (dimension 4) :\n", + "N4 \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 5.\n", + "Rank of the source-module : 0.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 4 :\n", + "\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 32s.\n", + "\n" + ] + }, + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 6, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 6 }, { "cell_type": "markdown", @@ -136,7 +348,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 7, + "text": [ + "[K10 Simplicial-Set]" + ] + } + ], + "prompt_number": 7 }, { "cell_type": "markdown", @@ -153,7 +375,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 8, + "text": [ + "( ...)" + ] + } + ], + "prompt_number": 8 }, { "cell_type": "code", @@ -163,7 +395,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 9, + "text": [ + "230" + ] + } + ], + "prompt_number": 9 }, { "cell_type": "markdown", @@ -182,7 +424,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 10, + "text": [ + "[K3 Chain-Complex]" + ] + } + ], + "prompt_number": 10 }, { "cell_type": "code", @@ -192,7 +444,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 11, + "text": [ + "()" + ] + } + ], + "prompt_number": 11 }, { "cell_type": "markdown", @@ -209,7 +471,281 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "output_type": "stream", + "stream": "stdout", + "text": [ + "\n", + "Computing boundary-matrix in dimension 0.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 1/1 (dimension 0) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 1.\n", + "Rank of the source-module : 0.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 0 :\n", + "\n", + "\n", + "Component Z\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 1.\n", + "Rank of the source-module : 0.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 2.\n", + "Rank of the source-module : 0.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 1 :\n", + "\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 2.\n", + "Rank of the source-module : 0.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 3.\n", + "Rank of the source-module : 2.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 1/2 (dimension 3) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 2/2 (dimension 3) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 2 :\n", + "\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 3.\n", + "Rank of the source-module : 2.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 1/2 (dimension 3) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 2/2 (dimension 3) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 4.\n", + "Rank of the source-module : 2.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 1/2 (dimension 4) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 2/2 (dimension 4) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 3 :\n", + "\n", + "\n", + "Component Z/2Z\n", + "\n", + "Component Z/2Z\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 4.\n", + "Rank of the source-module : 2.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 1/2 (dimension 4) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 2/2 (dimension 4) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 5.\n", + "Rank of the source-module : 0.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 4 :\n", + "\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 5.\n", + "Rank of the source-module : 0.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 6.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 1/1 (dimension 6) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 5 :\n", + "\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 6.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 1/1 (dimension 6) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 7.\n", + "Rank of the source-module : 2.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 1/2 (dimension 7) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 2/2 (dimension 7) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 6 :\n", + "\n", + "\n", + "Component Z/2Z\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 7.\n", + "Rank of the source-module : 2.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 1/2 (dimension 7) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 2/2 (dimension 7) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 8.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "Computing the boundary of the generator 1/1 (dimension 8) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 7 :\n", + "\n", + "\n", + "Component Z/2Z\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 8m 49s.\n", + "\n" + ] + }, + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 12, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 12 }, { "cell_type": "markdown", @@ -229,7 +765,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 13, + "text": [ + "[K38 Abelian-Simplicial-Group]" + ] + } + ], + "prompt_number": 13 }, { "cell_type": "markdown", @@ -247,7 +793,24 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 14, + "text": [ + "\n", + "----------------------------------------------------------------------{CMBN 4}\n", + "<1 * >\n", + "<1 * >\n", + "<1 * >\n", + "<1 * >\n", + "<1 * >\n", + "------------------------------------------------------------------------------\n" + ] + } + ], + "prompt_number": 14 }, { "cell_type": "code", @@ -257,7 +820,30 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 15, + "text": [ + "\n", + "----------------------------------------------------------------------{CMBN 6}\n", + "<1 * (1 2 3 4 5 6)>\n", + "<-1 * (1 3 2 4 5 6)>\n", + "<1 * (1 3 4 2 5 6)>\n", + "<-1 * (1 3 4 5 2 6)>\n", + "<1 * (1 3 4 5 6 2)>\n", + "<1 * (3 1 2 4 5 6)>\n", + "<-1 * (3 1 4 2 5 6)>\n", + "<1 * (3 1 4 5 2 6)>\n", + "<-1 * (3 1 4 5 6 2)>\n", + "<1 * (3 4 1 2 5 6)>\n", + "... ...\n", + "------------------------------------------------------------------------------\n" + ] + } + ], + "prompt_number": 15 }, { "cell_type": "markdown", @@ -276,7 +862,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 16, + "text": [ + "[K64 Abelian-Simplicial-Group]" + ] + } + ], + "prompt_number": 16 }, { "cell_type": "code", @@ -286,7 +882,74 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "output_type": "stream", + "stream": "stdout", + "text": [ + "\n", + "Computing boundary-matrix in dimension 4.\n", + "Rank of the source-module : 2.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 9s.\n", + "Computing the boundary of the generator 1/2 (dimension 4) :\n", + "<> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 9s.\n", + "Computing the boundary of the generator 2/2 (dimension 4) :\n", + "<> \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 5.\n", + "Rank of the source-module : 3.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 9s.\n", + "Computing the boundary of the generator 1/3 (dimension 5) :\n", + "<> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 9s.\n", + "Computing the boundary of the generator 2/3 (dimension 5) :\n", + "<> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 9s.\n", + "Computing the boundary of the generator 3/3 (dimension 5) :\n", + "<> \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 4 :\n", + "\n", + "\n", + "Component Z/4Z\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 9s.\n", + "\n" + ] + }, + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 17, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 17 }, { "cell_type": "markdown", @@ -304,7 +967,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 18, + "text": [ + "[K174 Simplicial-Set]" + ] + } + ], + "prompt_number": 18 }, { "cell_type": "code", @@ -314,7 +987,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 19, + "text": [ + "[K191 Simplicial-Group]" + ] + } + ], + "prompt_number": 19 }, { "cell_type": "code", @@ -324,7 +1007,195 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "output_type": "stream", + "stream": "stdout", + "text": [ + "\n", + "Computing boundary-matrix in dimension 4.\n", + "Rank of the source-module : 3.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 18s.\n", + "Computing the boundary of the generator 1/3 (dimension 4) :\n", + "<>][3 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 18s.\n", + "Computing the boundary of the generator 2/3 (dimension 4) :\n", + "<>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 18s.\n", + "Computing the boundary of the generator 3/3 (dimension 4) :\n", + "<>][1 <>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 5.\n", + "Rank of the source-module : 5.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 18s.\n", + "Computing the boundary of the generator 1/5 (dimension 5) :\n", + "<>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 18s.\n", + "Computing the boundary of the generator 2/5 (dimension 5) :\n", + "<>][1 <>][3 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 19s.\n", + "Computing the boundary of the generator 3/5 (dimension 5) :\n", + "<>][3 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 19s.\n", + "Computing the boundary of the generator 4/5 (dimension 5) :\n", + "<>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 19s.\n", + "Computing the boundary of the generator 5/5 (dimension 5) :\n", + "<>][1 <>][1 <>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 4 :\n", + "\n", + "\n", + "Component Z/3Z\n", + "\n", + "Component Z/2Z\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 19s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 5.\n", + "Rank of the source-module : 5.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 19s.\n", + "Computing the boundary of the generator 1/5 (dimension 5) :\n", + "<>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 19s.\n", + "Computing the boundary of the generator 2/5 (dimension 5) :\n", + "<>][1 <>][3 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 19s.\n", + "Computing the boundary of the generator 3/5 (dimension 5) :\n", + "<>][3 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 19s.\n", + "Computing the boundary of the generator 4/5 (dimension 5) :\n", + "<>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 19s.\n", + "Computing the boundary of the generator 5/5 (dimension 5) :\n", + "<>][1 <>][1 <>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 6.\n", + "Rank of the source-module : 8.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 19s.\n", + "Computing the boundary of the generator 1/8 (dimension 6) :\n", + "<>][5 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 19s.\n", + "Computing the boundary of the generator 2/8 (dimension 6) :\n", + "<>][3 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 20s.\n", + "Computing the boundary of the generator 3/8 (dimension 6) :\n", + "<>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 20s.\n", + "Computing the boundary of the generator 4/8 (dimension 6) :\n", + "<>][1 <>][1 <>][3 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 20s.\n", + "Computing the boundary of the generator 5/8 (dimension 6) :\n", + "<>][1 <>][3 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 21s.\n", + "Computing the boundary of the generator 6/8 (dimension 6) :\n", + "<>][3 <>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 21s.\n", + "Computing the boundary of the generator 7/8 (dimension 6) :\n", + "<>][1 <>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 21s.\n", + "Computing the boundary of the generator 8/8 (dimension 6) :\n", + "<>][1 <>][1 <>][1 <>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 5 :\n", + "\n", + "\n", + "Component Z/3Z\n", + "\n", + "Component Z/2Z\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 22s.\n", + "\n" + ] + }, + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 20, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 20 }, { "cell_type": "markdown", @@ -341,7 +1212,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 21, + "text": [ + "[K179 Simplicial-Group]" + ] + } + ], + "prompt_number": 21 }, { "cell_type": "markdown", @@ -358,7 +1239,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 22, + "text": [ + "<>" + ] + } + ], + "prompt_number": 22 }, { "cell_type": "markdown", @@ -375,7 +1266,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 23, + "text": [ + ">>" + ] + } + ], + "prompt_number": 23 }, { "cell_type": "markdown", @@ -393,7 +1294,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 24, + "text": [ + "[K435 Simplicial-Set]" + ] + } + ], + "prompt_number": 24 }, { "cell_type": "markdown", @@ -410,7 +1321,87 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "output_type": "stream", + "stream": "stdout", + "text": [ + "\n", + "Computing boundary-matrix in dimension 2.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 44s.\n", + "Computing the boundary of the generator 1/1 (dimension 2) :\n", + "<> \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 3.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 44s.\n", + "Computing the boundary of the generator 1/1 (dimension 3) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 2 :\n", + "\n", + "\n", + "Component Z/2Z\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 44s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 3.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 44s.\n", + "Computing the boundary of the generator 1/1 (dimension 3) :\n", + " \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 4.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 44s.\n", + "Computing the boundary of the generator 1/1 (dimension 4) :\n", + "<> \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 3 :\n", + "\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 44s.\n", + "\n" + ] + }, + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 25, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 25 }, { "cell_type": "markdown", @@ -427,7 +1418,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 26, + "text": [ + "[K453 Simplicial-Group]" + ] + } + ], + "prompt_number": 26 }, { "cell_type": "code", @@ -437,7 +1438,296 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "output_type": "stream", + "stream": "stdout", + "text": [ + "\n", + "Computing boundary-matrix in dimension 5.\n", + "Rank of the source-module : 14.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 51s.\n", + "Computing the boundary of the generator 1/14 (dimension 5) :\n", + "<>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 51s.\n", + "Computing the boundary of the generator 2/14 (dimension 5) :\n", + "<][3 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 51s.\n", + "Computing the boundary of the generator 3/14 (dimension 5) :\n", + "<>][2 ]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 51s.\n", + "Computing the boundary of the generator 4/14 (dimension 5) :\n", + "<>][1 <>][3 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 52s.\n", + "Computing the boundary of the generator 5/14 (dimension 5) :\n", + "<>][2 ][2 ]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 52s.\n", + "Computing the boundary of the generator 6/14 (dimension 5) :\n", + "<>][3 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 52s.\n", + "Computing the boundary of the generator 7/14 (dimension 5) :\n", + "<][1 <>][2 ]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 52s.\n", + "Computing the boundary of the generator 8/14 (dimension 5) :\n", + "<][2 ][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 52s.\n", + "Computing the boundary of the generator 9/14 (dimension 5) :\n", + "<>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 52s.\n", + "Computing the boundary of the generator 10/14 (dimension 5) :\n", + "<>][1 <>][1 <>][2 ]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 52s.\n", + "Computing the boundary of the generator 11/14 (dimension 5) :\n", + "<>][1 <>][2 ][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 52s.\n", + "Computing the boundary of the generator 12/14 (dimension 5) :\n", + "<>][2 ][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 52s.\n", + "Computing the boundary of the generator 13/14 (dimension 5) :\n", + "<][1 <>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 52s.\n", + "Computing the boundary of the generator 14/14 (dimension 5) :\n", + "<>][1 <>][1 <>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 6.\n", + "Rank of the source-module : 26.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 52s.\n", + "Computing the boundary of the generator 1/26 (dimension 6) :\n", + "<>][5 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 52s.\n", + "Computing the boundary of the generator 2/26 (dimension 6) :\n", + "<>][3 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 53s.\n", + "Computing the boundary of the generator 3/26 (dimension 6) :\n", + "<>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 53s.\n", + "Computing the boundary of the generator 4/26 (dimension 6) :\n", + "<>][2 ][3 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 53s.\n", + "Computing the boundary of the generator 5/26 (dimension 6) :\n", + "<>][3 <>][2 ]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 53s.\n", + "Computing the boundary of the generator 6/26 (dimension 6) :\n", + "<][1 <>][3 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 53s.\n", + "Computing the boundary of the generator 7/26 (dimension 6) :\n", + "<][2 ][2 ]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 53s.\n", + "Computing the boundary of the generator 8/26 (dimension 6) :\n", + "<][3 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 53s.\n", + "Computing the boundary of the generator 9/26 (dimension 6) :\n", + "<>][1 <>][2 ]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 53s.\n", + "Computing the boundary of the generator 10/26 (dimension 6) :\n", + "<>][2 ][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 54s.\n", + "Computing the boundary of the generator 11/26 (dimension 6) :\n", + "<>][1 <>][1 <>][3 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 54s.\n", + "Computing the boundary of the generator 12/26 (dimension 6) :\n", + "<>][1 <>][2 ][2 ]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 54s.\n", + "Computing the boundary of the generator 13/26 (dimension 6) :\n", + "<>][1 <>][3 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 54s.\n", + "Computing the boundary of the generator 14/26 (dimension 6) :\n", + "<>][2 ][1 <>][2 ]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 54s.\n", + "Computing the boundary of the generator 15/26 (dimension 6) :\n", + "<>][2 ][2 ][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 54s.\n", + "Computing the boundary of the generator 16/26 (dimension 6) :\n", + "<>][3 <>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 55s.\n", + "Computing the boundary of the generator 17/26 (dimension 6) :\n", + "<][1 <>][1 <>][2 ]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 55s.\n", + "Computing the boundary of the generator 18/26 (dimension 6) :\n", + "<][1 <>][2 ][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 55s.\n", + "Computing the boundary of the generator 19/26 (dimension 6) :\n", + "<][2 ][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 55s.\n", + "Computing the boundary of the generator 20/26 (dimension 6) :\n", + "<>][1 <>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 55s.\n", + "Computing the boundary of the generator 21/26 (dimension 6) :\n", + "<>][1 <>][1 <>][1 <>][2 ]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 55s.\n", + "Computing the boundary of the generator 22/26 (dimension 6) :\n", + "<>][1 <>][1 <>][2 ][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 56s.\n", + "Computing the boundary of the generator 23/26 (dimension 6) :\n", + "<>][1 <>][2 ][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 56s.\n", + "Computing the boundary of the generator 24/26 (dimension 6) :\n", + "<>][2 ][1 <>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 56s.\n", + "Computing the boundary of the generator 25/26 (dimension 6) :\n", + "<][1 <>][1 <>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 56s.\n", + "Computing the boundary of the generator 26/26 (dimension 6) :\n", + "<>][1 <>][1 <>][1 <>][1 <>][1 <>]>> \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 5 :\n", + "\n", + "\n", + "Component Z/2Z\n", + "\n", + "Component Z/2Z\n", + "\n", + "Component Z/2Z\n", + "\n", + "Component Z/2Z\n", + "\n", + "Component Z/2Z\n", + "\n", + "Component Z/2Z\n", + "\n", + "Component Z\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 9m 56s.\n", + "\n" + ] + }, + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 27, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 27 }, { "cell_type": "markdown", @@ -454,7 +1744,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 28, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 28 }, { "cell_type": "code", @@ -464,7 +1764,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 29, + "text": [ + "T" + ] + } + ], + "prompt_number": 29 }, { "cell_type": "code", @@ -474,7 +1784,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 30, + "text": [ + "T" + ] + } + ], + "prompt_number": 30 }, { "cell_type": "code", @@ -484,7 +1804,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 31, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 31 }, { "cell_type": "markdown", @@ -501,7 +1831,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 32, + "text": [ + "<>" + ] + } + ], + "prompt_number": 32 }, { "cell_type": "code", @@ -511,7 +1851,25 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 33, + "text": [ + "\n", + "----------------------------------------------------------------------{CMBN 4}\n", + "<1 * <>>\n", + "<-1 * <>>\n", + "<1 * <>>\n", + "<1 * <>>\n", + "<-1 * <>>\n", + "<1 * <>>\n", + "------------------------------------------------------------------------------\n" + ] + } + ], + "prompt_number": 33 }, { "cell_type": "markdown", @@ -529,7 +1887,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 34, + "text": [ + "<>" + ] + } + ], + "prompt_number": 34 }, { "cell_type": "markdown", @@ -546,7 +1914,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 35, + "text": [ + "(>> >> >> >>)" + ] + } + ], + "prompt_number": 35 }, { "cell_type": "markdown", @@ -559,11 +1937,21 @@ "cell_type": "code", "collapsed": false, "input": [ - "(cat:def kan-simplex (cat:kfll os3 0 4 hat)) " + "(cat:def kan-simplex (cat:kfll os3 0 4 hat))" ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 36, + "text": [ + ">>" + ] + } + ], + "prompt_number": 36 }, { "cell_type": "code", @@ -573,7 +1961,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 37, + "text": [ + ">>" + ] + } + ], + "prompt_number": 37 }, { "cell_type": "code", @@ -583,7 +1981,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 38, + "text": [ + ">>" + ] + } + ], + "prompt_number": 38 }, { "cell_type": "markdown", @@ -600,7 +2008,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 39, + "text": [ + "[K598 Simplicial-Set]" + ] + } + ], + "prompt_number": 39 }, { "cell_type": "code", @@ -610,7 +2028,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 40, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 40 }, { "cell_type": "code", @@ -620,7 +2048,48 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "output_type": "stream", + "stream": "stdout", + "text": [ + "\n", + "Computing boundary-matrix in dimension 4.\n", + "Rank of the source-module : 0.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 5.\n", + "Rank of the source-module : 1.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 43s.\n", + "Computing the boundary of the generator 1/1 (dimension 5) :\n", + "<>]>> \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 4 :\n", + "\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 43s.\n", + "\n" + ] + }, + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 41, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 41 }, { "cell_type": "markdown", @@ -639,7 +2108,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 42, + "text": [ + "[K729 Cohomology-Class on K1 of degree 3]" + ] + } + ], + "prompt_number": 42 }, { "cell_type": "markdown", @@ -656,7 +2135,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 43, + "text": [ + "[K730 Fibration K1 -> K64]" + ] + } + ], + "prompt_number": 43 }, { "cell_type": "markdown", @@ -673,7 +2162,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 44, + "text": [ + "[K736 Simplicial-Set]" + ] + } + ], + "prompt_number": 44 }, { "cell_type": "markdown", @@ -690,7 +2189,135 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "output_type": "stream", + "stream": "stdout", + "text": [ + "\n", + "Computing boundary-matrix in dimension 3.\n", + "Rank of the source-module : 2.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "Computing the boundary of the generator 1/2 (dimension 3) :\n", + ">> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "Computing the boundary of the generator 2/2 (dimension 3) :\n", + ">> \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 4.\n", + "Rank of the source-module : 3.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "Computing the boundary of the generator 1/3 (dimension 4) :\n", + ">> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "Computing the boundary of the generator 2/3 (dimension 4) :\n", + ">> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "Computing the boundary of the generator 3/3 (dimension 4) :\n", + ">> \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 3 :\n", + "\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 4.\n", + "Rank of the source-module : 3.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "Computing the boundary of the generator 1/3 (dimension 4) :\n", + ">> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "Computing the boundary of the generator 2/3 (dimension 4) :\n", + ">> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "Computing the boundary of the generator 3/3 (dimension 4) :\n", + ">> \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 5.\n", + "Rank of the source-module : 4.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "Computing the boundary of the generator 1/4 (dimension 5) :\n", + ">> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "Computing the boundary of the generator 2/4 (dimension 5) :\n", + ">> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "Computing the boundary of the generator 3/4 (dimension 5) :\n", + ">> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "Computing the boundary of the generator 4/4 (dimension 5) :\n", + ">> \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 4 :\n", + "\n", + "\n", + "Component Z/2Z\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 10m 55s.\n", + "\n" + ] + }, + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 45, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 45 }, { "cell_type": "markdown", @@ -707,7 +2334,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 46, + "text": [ + "[K817 Cohomology-Class on K802 of degree 4]" + ] + } + ], + "prompt_number": 46 }, { "cell_type": "code", @@ -717,7 +2354,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 47, + "text": [ + "[K832 Fibration K736 -> K818]" + ] + } + ], + "prompt_number": 47 }, { "cell_type": "code", @@ -727,7 +2374,17 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 48, + "text": [ + "[K838 Simplicial-Set]" + ] + } + ], + "prompt_number": 48 }, { "cell_type": "code", @@ -737,7 +2394,255 @@ ], "language": "python", "metadata": {}, - "outputs": [] + "outputs": [ + { + "output_type": "stream", + "stream": "stdout", + "text": [ + "\n", + "Computing boundary-matrix in dimension 4.\n", + "Rank of the source-module : 4.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 9s.\n", + "Computing the boundary of the generator 1/4 (dimension 4) :\n", + ">> <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 9s.\n", + "Computing the boundary of the generator 2/4 (dimension 4) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 9s.\n", + "Computing the boundary of the generator 3/4 (dimension 4) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 9s.\n", + "Computing the boundary of the generator 4/4 (dimension 4) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 5.\n", + "Rank of the source-module : 7.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 9s.\n", + "Computing the boundary of the generator 1/7 (dimension 5) :\n", + ">> <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 9s.\n", + "Computing the boundary of the generator 2/7 (dimension 5) :\n", + ">> <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 9s.\n", + "Computing the boundary of the generator 3/7 (dimension 5) :\n", + ">> <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 9s.\n", + "Computing the boundary of the generator 4/7 (dimension 5) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 9s.\n", + "Computing the boundary of the generator 5/7 (dimension 5) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 9s.\n", + "Computing the boundary of the generator 6/7 (dimension 5) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 9s.\n", + "Computing the boundary of the generator 7/7 (dimension 5) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 4 :\n", + "\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 5.\n", + "Rank of the source-module : 7.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 1/7 (dimension 5) :\n", + ">> <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 2/7 (dimension 5) :\n", + ">> <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 3/7 (dimension 5) :\n", + ">> <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 4/7 (dimension 5) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 5/7 (dimension 5) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 6/7 (dimension 5) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 7/7 (dimension 5) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + "Computing boundary-matrix in dimension 6.\n", + "Rank of the source-module : 14.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 1/14 (dimension 6) :\n", + ">> <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 2/14 (dimension 6) :\n", + ">> <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 3/14 (dimension 6) :\n", + ">> <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 4/14 (dimension 6) :\n", + ">> <>][3 <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 5/14 (dimension 6) :\n", + ">> <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 6/14 (dimension 6) :\n", + ">> <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 7/14 (dimension 6) :\n", + ">> <>]>>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 8/14 (dimension 6) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 10s.\n", + "Computing the boundary of the generator 9/14 (dimension 6) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 11s.\n", + "Computing the boundary of the generator 10/14 (dimension 6) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 11s.\n", + "Computing the boundary of the generator 11/14 (dimension 6) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 12s.\n", + "Computing the boundary of the generator 12/14 (dimension 6) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 13s.\n", + "Computing the boundary of the generator 13/14 (dimension 6) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 14s.\n", + "Computing the boundary of the generator 14/14 (dimension 6) :\n", + ">> <>> \n", + "End of computing.\n", + "\n", + "\n", + "\n", + "\n", + "Homology in dimension 5 :\n", + "\n", + "\n", + "Component Z/4Z\n", + "\n", + "\n", + "---done---\n", + "\n", + ";; Clock -> 2015-08-08, 10h 11m 15s.\n", + "\n" + ] + }, + { + "metadata": {}, + "output_type": "pyout", + "prompt_number": 49, + "text": [ + "NIL" + ] + } + ], + "prompt_number": 49 }, { "cell_type": "markdown",