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

Added missing exports.

Browse Source 
Fixed a few SBCL warnings in several notebooks. See issue #123.
This commit is contained in:
gheber 2016-04-23 18:44:24 -05:00
parent 30ff3bc32a
commit 756f333bdd
10 changed files with 376 additions and 2328 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
examples/05_Coalgebras_and_cobars.ipynb
View File

@ -178,14 +178,6 @@
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {100525A223}>\n"
]
},
{
"data": {
"text/plain": [

16
examples/06_Algebras_and_bars.ipynb
View File

@ -134,14 +134,6 @@
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {10053B64C3}>\n"
]
},
{
"data": {
"text/plain": [
@ -234,7 +226,7 @@
"text": [
"\n",
"The object is a STANDARD-OBJECT of type CAT::ALGEBRA.\n",
"0. CMPR: #<FUNCTION (LAMBDA (GSM1 GSM2) :IN \"/root/cl-jupyter-master/cl-jupyter.lisp\") {10052CC88B}>\n",
"0. CMPR: #<FUNCTION (LAMBDA (GSM1 GSM2) :IN \"/root/cl-jupyter-master/cl-jupyter.lisp\") {100537E00B}>\n",
"1. BASIS: :LOCALLY-EFFECTIVE\n",
"2. BSGN: (0)\n",
"3. DFFR: [K2 Morphism (degree -1): K1 -> K1]\n",
@ -533,7 +525,7 @@
{
"data": {
"text/plain": [
"#<CLOSURE (FLET CAT::RSLT :IN BAR-CMPR) {1005BA97FB}>"
"#<CLOSURE (FLET CAT::RSLT :IN BAR-CMPR) {1005C307DB}>"
]
},
"execution_count": 12,
@ -628,7 +620,7 @@
{
"data": {
"text/plain": [
"#<FUNCTION (LAMBDA (DEGR) :IN \"/root/cl-jupyter-master/cl-jupyter.lisp\") {1005D6681B}>"
"#<FUNCTION (LAMBDA (DEGR) :IN \"/root/cl-jupyter-master/cl-jupyter.lisp\") {1005DEE0FB}>"
]
},
"execution_count": 16,
@ -680,7 +672,7 @@
{
"data": {
"text/plain": [
"#<CLOSURE (FLET CAT::RSLT :IN BAR-BASIS) {1005E2835B}>"
"#<CLOSURE (FLET CAT::RSLT :IN BAR-BASIS) {1005EAF78B}>"
]
},
"execution_count": 18,

306
examples/07_Simplicial_Sets.ipynb
View File

File diff suppressed because one or more lines are too long

16
examples/08_Simplicial_morphisms.ipynb
View File

@ -81,14 +81,6 @@
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {10054A0D93}>\n"
]
},
{
"data": {
"text/plain": [
@ -192,14 +184,6 @@
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {100585DE93}>\n"
]
},
{
"data": {
"text/plain": [

273
examples/12_Fibrations.ipynb
View File

@ -105,14 +105,6 @@
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {100548F723}>\n"
]
},
{
"data": {
"text/plain": [
@ -158,7 +150,7 @@
"7. RSLTS: #(#() #() #() #() #() #() #() #() #() #() ...)\n",
"8. IDNM: 18\n",
"9. ORGN: (S2-TW-KZ2)\n",
"10. SINTR: #<FUNCTION (LAMBDA (DMNS GMSM) :IN \"/root/cl-jupyter-master/cl-jupyter.lisp\") {10054800FB}>\n",
"10. SINTR: #<FUNCTION (LAMBDA (DMNS GMSM) :IN \"/root/cl-jupyter-master/cl-jupyter.lisp\") {10055F3DCB}>\n",
"\n",
"> "
]
@ -268,14 +260,6 @@
"<AbSm 1 1> "
]
},
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {100588A443}>\n"
]
},
{
"data": {
"text/plain": [
@ -334,8 +318,8 @@
"text": [
"\n",
"The object is a STANDARD-OBJECT of type CAT::SIMPLICIAL-SET.\n",
"0. CMPR: #<CLOSURE (FLET CAT::RSLT :IN CRTS-PRDC-CMPR) {100590840B}>\n",
"1. BASIS: #<CLOSURE (FLET CAT::RSLT :IN CRTS-PRDC-BASIS) {1005908BBB}>\n",
"0. CMPR: #<CLOSURE (FLET CAT::RSLT :IN CRTS-PRDC-CMPR) {1005A4399B}>\n",
"1. BASIS: #<CLOSURE (FLET CAT::RSLT :IN CRTS-PRDC-BASIS) {1005A4414B}>\n",
"2. BSGN: <CrPr - * - 0>\n",
"3. DFFR: [K25 Morphism (degree -1): K24 -> K24]\n",
"4. GRMD: [K19 Simplicial-Set]\n",
@ -343,7 +327,7 @@
"6. IDNM: 24\n",
"7. ORGN: (FIBRATION-TOTAL [K18 Fibration K1 -> K6])\n",
"8. CPRD: [K28 Morphism (degree 0): K24 -> K26]\n",
"9. FACE: #<CLOSURE (FLET CAT::RSLT :IN CAT::FIBRATION-TOTAL-FACE) {100590EF8B}>\n",
"9. FACE: #<CLOSURE (FLET CAT::RSLT :IN CAT::FIBRATION-TOTAL-FACE) {1005A4A52B}>\n",
"\n",
"> "
]
@ -467,7 +451,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 0) :\n",
"<TnPr * 0> \n",
"End of computing.\n",
@ -477,7 +461,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * 1> \n",
"End of computing.\n",
@ -493,14 +477,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 1.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * 1> \n",
"End of computing.\n",
@ -510,13 +494,13 @@
"Rank of the source-module : 2.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/2 (dimension 2) :\n",
"<TnPr * 2> \n",
"End of computing.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 2/2 (dimension 2) :\n",
"<TnPr S2 0> \n",
"End of computing.\n",
@ -530,20 +514,20 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 2.\n",
"Rank of the source-module : 2.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/2 (dimension 2) :\n",
"<TnPr * 2> \n",
"End of computing.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 2/2 (dimension 2) :\n",
"<TnPr S2 0> \n",
"End of computing.\n",
@ -553,13 +537,13 @@
"Rank of the source-module : 2.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/2 (dimension 3) :\n",
"<TnPr * 3> \n",
"End of computing.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 2/2 (dimension 3) :\n",
"<TnPr S2 1> \n",
"End of computing.\n",
@ -575,20 +559,20 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 3.\n",
"Rank of the source-module : 2.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/2 (dimension 3) :\n",
"<TnPr * 3> \n",
"End of computing.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 2/2 (dimension 3) :\n",
"<TnPr S2 1> \n",
"End of computing.\n",
@ -598,13 +582,13 @@
"Rank of the source-module : 2.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/2 (dimension 4) :\n",
"<TnPr * 4> \n",
"End of computing.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 2/2 (dimension 4) :\n",
"<TnPr S2 2> \n",
"End of computing.\n",
@ -620,20 +604,20 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 4.\n",
"Rank of the source-module : 2.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/2 (dimension 4) :\n",
"<TnPr * 4> \n",
"End of computing.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 2/2 (dimension 4) :\n",
"<TnPr S2 2> \n",
"End of computing.\n",
@ -643,13 +627,13 @@
"Rank of the source-module : 2.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/2 (dimension 5) :\n",
"<TnPr * 5> \n",
"End of computing.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 2/2 (dimension 5) :\n",
"<TnPr S2 3> \n",
"End of computing.\n",
@ -663,20 +647,20 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 5.\n",
"Rank of the source-module : 2.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/2 (dimension 5) :\n",
"<TnPr * 5> \n",
"End of computing.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 2/2 (dimension 5) :\n",
"<TnPr S2 3> \n",
"End of computing.\n",
@ -686,13 +670,13 @@
"Rank of the source-module : 2.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/2 (dimension 6) :\n",
"<TnPr * 6> \n",
"End of computing.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 2/2 (dimension 6) :\n",
"<TnPr S2 4> \n",
"End of computing.\n",
@ -708,20 +692,20 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 6.\n",
"Rank of the source-module : 2.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/2 (dimension 6) :\n",
"<TnPr * 6> \n",
"End of computing.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 2/2 (dimension 6) :\n",
"<TnPr S2 4> \n",
"End of computing.\n",
@ -731,13 +715,13 @@
"Rank of the source-module : 2.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/2 (dimension 7) :\n",
"<TnPr * 7> \n",
"End of computing.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 2/2 (dimension 7) :\n",
"<TnPr S2 5> \n",
"End of computing.\n",
@ -751,20 +735,20 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 7.\n",
"Rank of the source-module : 2.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/2 (dimension 7) :\n",
"<TnPr * 7> \n",
"End of computing.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 2/2 (dimension 7) :\n",
"<TnPr S2 5> \n",
"End of computing.\n",
@ -774,13 +758,13 @@
"Rank of the source-module : 2.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/2 (dimension 8) :\n",
"<TnPr * 8> \n",
"End of computing.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 2/2 (dimension 8) :\n",
"<TnPr S2 6> \n",
"End of computing.\n",
@ -796,7 +780,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n"
]
},
@ -873,14 +857,6 @@
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {10067B3203}>\n"
]
},
{
"data": {
"text/plain": [
@ -941,7 +917,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 0) :\n",
"<TnPr * *> \n",
"End of computing.\n",
@ -951,7 +927,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -967,14 +943,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 1.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -984,7 +960,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -998,14 +974,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 2.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -1015,7 +991,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -1029,14 +1005,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 3.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -1056,7 +1032,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 4.\n",
@ -1075,7 +1051,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 5.\n",
@ -1094,7 +1070,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n"
]
},
@ -1228,7 +1204,7 @@
"cell_type": "markdown",
"metadata": {},
"source": [
"The system `Kenzo` provides the function `hopf` to build Hopf fibrations. The lisp definition is the following:"
"The program `Kenzo` provides the function `make-hopf` to build Hopf fibrations. The lisp definition is the following:"
]
},
{
@ -1243,22 +1219,13 @@
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {1006B8F6D3}>\n",
"\n",
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {1006B8FDB3}>\n",
"\n",
"REDEFINITION-WITH-DEFUN: \n",
" #<SB-KERNEL:REDEFINITION-WITH-DEFUN {1006B90AF3}>\n",
"\n",
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {1006C31663}>\n"
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {1006D552E3}>\n"
]
},
{
"data": {
"text/plain": [
"HOPF-SINTR"
"MAKE-HOPF"
]
},
"execution_count": 25,
@ -1267,16 +1234,6 @@
}
],
"source": [
"(defun HOPF (n)\n",
" (declare (fixnum n))\n",
" (the simplicial-mrph\n",
" (build-smmr\n",
" :sorc (sphere 2)\n",
" :trgt (k-z-1)\n",
" :degr -1\n",
" :sintr (hopf-sintr n)\n",
" :orgn `(hopf ,n))))\n",
"\n",
"(defun HOPF-SINTR (n)\n",
" (declare (fixnum n))\n",
" (flet ((rslt (dmns gmsm)\n",
@ -1284,7 +1241,17 @@
" (if (zerop n)\n",
" (absm 1 +empty-list+)\n",
" (absm 0 (list n)))))\n",
" (the sintr #'rslt)))"
" (the sintr #'rslt)))\n",
"\n",
"(defun MAKE-HOPF (n)\n",
" (declare (fixnum n))\n",
" (the simplicial-mrph\n",
" (build-smmr\n",
" :sorc (sphere 2)\n",
" :trgt (k-z-1)\n",
" :degr -1\n",
" :sintr (hopf-sintr n)\n",
" :orgn `(hopf ,n))))"
]
},
{
@ -1313,10 +1280,10 @@
}
],
"source": [
"(def h1 (hopf 1))\n",
"(def h2 (hopf 2))\n",
"(def h3 (hopf 3))\n",
"(def h10 (hopf 10))"
"(def h1 (make-hopf 1))\n",
"(def h2 (make-hopf 2))\n",
"(def h3 (make-hopf 3))\n",
"(def h10 (make-hopf 10))"
]
},
{
@ -1389,7 +1356,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 0) :\n",
"<TnPr * *> \n",
"End of computing.\n",
@ -1399,7 +1366,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -1415,14 +1382,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 1.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -1432,7 +1399,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -1446,14 +1413,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 2.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -1463,7 +1430,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -1477,14 +1444,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 3.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -1504,7 +1471,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 4.\n",
@ -1523,7 +1490,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 5.\n",
@ -1542,7 +1509,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 6.\n",
@ -1561,7 +1528,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 7.\n",
@ -1580,7 +1547,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 8.\n",
@ -1599,7 +1566,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 9.\n",
@ -1618,7 +1585,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n"
]
},
@ -1653,7 +1620,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 0) :\n",
"<TnPr * *> \n",
"End of computing.\n",
@ -1663,7 +1630,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -1679,14 +1646,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 1.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -1696,7 +1663,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -1712,14 +1679,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 2.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -1729,7 +1696,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -1743,14 +1710,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 3.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -1770,7 +1737,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 4.\n",
@ -1789,7 +1756,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 5.\n",
@ -1808,7 +1775,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 6.\n",
@ -1827,7 +1794,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 7.\n",
@ -1846,7 +1813,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 8.\n",
@ -1865,7 +1832,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 9.\n",
@ -1884,7 +1851,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n"
]
},
@ -1919,7 +1886,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 0) :\n",
"<TnPr * *> \n",
"End of computing.\n",
@ -1929,7 +1896,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -1945,14 +1912,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 1.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -1962,7 +1929,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -1978,14 +1945,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 2.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -1995,7 +1962,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -2009,14 +1976,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 3.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -2036,7 +2003,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n"
]
},
@ -2071,7 +2038,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -2081,7 +2048,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -2097,7 +2064,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-13, 22h 33m 12s.\n",
";; Clock -> 2016-04-23, 23h 12m 59s.\n",
"\n"
]
},

4
examples/13_Loop_Spaces.ipynb
View File

@ -474,7 +474,7 @@
"\n",
"The object is a STANDARD-OBJECT of type CAT::SIMPLICIAL-SET.\n",
"0. CMPR: #<FUNCTION S-CMPR>\n",
"1. BASIS: #<CLOSURE (FLET CAT::RSLT :IN CAT::FINITE-SS-BASIS) {1005791FCB}>\n",
"1. BASIS: #<CLOSURE (FLET CAT::RSLT :IN CAT::FINITE-SS-BASIS) {1005901ECB}>\n",
"2. BSGN: *\n",
"3. DFFR: [K19 Morphism (degree -1): K18 -> K18]\n",
"4. GRMD: [K18 Simplicial-Set]\n",
@ -482,7 +482,7 @@
"6. IDNM: 18\n",
"7. ORGN: (BUILD-FINITE-SS (* 2 S2 (* * *) 3 S3 (S2 S2 S2 S2)))\n",
"8. CPRD: [K22 Morphism (degree 0): K18 -> K20]\n",
"9. FACE: #<CLOSURE (FLET CAT::RSLT :IN CAT::FINITE-SS-FACE) {1005791FEB}>\n",
"9. FACE: #<CLOSURE (FLET CAT::RSLT :IN CAT::FINITE-SS-FACE) {1005901EEB}>\n",
"\n",
"> \n",
"Checking the 0-simplices...\n",

31
examples/15_Loop_spaces_fibrations.ipynb
View File

@ -153,7 +153,7 @@
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {10053FB553}>\n"
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {10054BB153}>\n"
]
},
{
@ -497,14 +497,6 @@
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {1005D1EC13}>\n"
]
},
{
"data": {
"text/plain": [
@ -1405,17 +1397,6 @@
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"The variable ~S is defined but never used.\" {10071B3513}>\n",
"\n",
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"The variable ~S is defined but never used.\" {10071B3BE3}>\n"
]
},
{
"data": {
"text/plain": [
@ -1434,6 +1415,7 @@
" :degr 0\n",
" :intr #'(lambda (degr tnpr)\n",
" (with-tnpr (degr1 gmsm1 degr2 loop2) tnpr\n",
" (declare (ignore gmsm1 degr2))\n",
" (if (zerop degr1)\n",
" (term-cmbn degr 1 loop2)\n",
" (zero-cmbn degr))))\n",
@ -1789,14 +1771,6 @@
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"The variable ~S is defined but never used.\" {100757BF93}>\n"
]
},
{
"data": {
"text/plain": [
@ -1815,6 +1789,7 @@
" :degr 0\n",
" :intr #'(lambda (degr a2-a) (declare (ignore degr))\n",
" (with-tnpr (degra2 gnrta2 degra gnrta) a2-a\n",
" (declare (ignore degra2))\n",
" (with-tnpr (degr1 gnrt1 degr2 gnrt2) gnrta2\n",
" (cmbn (+ degr1 degr2 degra) \n",
" 1 (tnpr degr1 \n",

150
examples/18_Serre_spectral_sequence.ipynb
View File

@ -188,14 +188,6 @@
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {100548A733}>\n"
]
},
{
"data": {
"text/plain": [
@ -312,7 +304,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 0) :\n",
"<TnPr * *> \n",
"End of computing.\n",
@ -322,7 +314,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -338,14 +330,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 1.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -355,7 +347,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -371,14 +363,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 2.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -388,7 +380,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -402,14 +394,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 3.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -429,7 +421,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 4.\n",
@ -448,7 +440,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 5.\n",
@ -467,7 +459,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 6.\n",
@ -486,7 +478,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 7.\n",
@ -505,7 +497,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 8.\n",
@ -524,7 +516,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 9.\n",
@ -543,7 +535,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n"
]
},
@ -576,14 +568,6 @@
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {10062D7453}>\n"
]
},
{
"data": {
"text/plain": [
@ -644,7 +628,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 0) :\n",
"<TnPr * *> \n",
"End of computing.\n",
@ -654,7 +638,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -670,14 +654,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 1.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -687,7 +671,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -703,14 +687,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 2.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -720,7 +704,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -734,14 +718,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 3.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -761,7 +745,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 4.\n",
@ -780,7 +764,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n"
]
},
@ -806,14 +790,6 @@
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {10064D3923}>\n"
]
},
{
"data": {
"text/plain": [
@ -874,7 +850,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 0) :\n",
"<TnPr * *> \n",
"End of computing.\n",
@ -884,7 +860,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -900,14 +876,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 1.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 1) :\n",
"<TnPr * S1> \n",
"End of computing.\n",
@ -917,7 +893,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -933,14 +909,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 2.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr S2 *> \n",
"End of computing.\n",
@ -950,7 +926,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -964,14 +940,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 3.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S2 S1> \n",
"End of computing.\n",
@ -991,7 +967,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n"
]
},
@ -1494,14 +1470,6 @@
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"SIMPLE-STYLE-WARNING: \n",
" #<SB-INT:SIMPLE-STYLE-WARNING \"undefined ~(~A~): ~S\" {1006CF0713}>\n"
]
},
{
"data": {
"text/plain": [
@ -1559,7 +1527,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 0) :\n",
"<TnPr * <<AlLp>>> \n",
"End of computing.\n",
@ -1579,7 +1547,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 1.\n",
@ -1590,7 +1558,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr * <<AlLp[2 S3]>>> \n",
"End of computing.\n",
@ -1604,14 +1572,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 2.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 2) :\n",
"<TnPr * <<AlLp[2 S3]>>> \n",
"End of computing.\n",
@ -1621,7 +1589,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S3 <<AlLp>>> \n",
"End of computing.\n",
@ -1637,14 +1605,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 3.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 3) :\n",
"<TnPr S3 <<AlLp>>> \n",
"End of computing.\n",
@ -1654,7 +1622,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 4) :\n",
"<TnPr * <<AlLp[2 S3][2 S3]>>> \n",
"End of computing.\n",
@ -1668,14 +1636,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 4.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 4) :\n",
"<TnPr * <<AlLp[2 S3][2 S3]>>> \n",
"End of computing.\n",
@ -1685,7 +1653,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 5) :\n",
"<TnPr S3 <<AlLp[2 S3]>>> \n",
"End of computing.\n",
@ -1701,14 +1669,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 5.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 5) :\n",
"<TnPr S3 <<AlLp[2 S3]>>> \n",
"End of computing.\n",
@ -1718,7 +1686,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 6) :\n",
"<TnPr * <<AlLp[2 S3][2 S3][2 S3]>>> \n",
"End of computing.\n",
@ -1732,14 +1700,14 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n",
"\n",
"Computing boundary-matrix in dimension 6.\n",
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 6) :\n",
"<TnPr * <<AlLp[2 S3][2 S3][2 S3]>>> \n",
"End of computing.\n",
@ -1749,7 +1717,7 @@
"Rank of the source-module : 1.\n",
"\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"Computing the boundary of the generator 1/1 (dimension 7) :\n",
"<TnPr S3 <<AlLp[2 S3][2 S3]>>> \n",
"End of computing.\n",
@ -1765,7 +1733,7 @@
"\n",
"---done---\n",
"\n",
";; Clock -> 2016-03-19, 23h 21m 7s.\n",
";; Clock -> 2016-04-23, 23h 30m 17s.\n",
"\n"
]
},

1898
examples/19_Simplicial_groups_fibration.ipynb
View File

File diff suppressed because it is too large Load Diff

2
package.lisp
View File

@ -162,6 +162,8 @@
#:REDUCTION
#:RRDCT
#:SIMPLICIAL-GROUP
#:SIMPLICIAL-MRPH
#:SIMPLICIAL-SET
#:SINTR
#:SOFT-DLOP
#:SOFT-DLOP-P